pub const __HYPERVISOR_set_gdt: u32 = 2;