pub const __HYPERVISOR_set_debugreg: u32 = 8;