pub const __HYPERVISOR_event_channel_op: u32 = 32;