pub const __HYPERVISOR_event_channel_op_compat: u32 = 16;