pub const __HYPERVISOR_update_descriptor: u32 = 10;