pub const __HYPERVISOR_tmem_op: u32 = 38;