int vm_enter_rmode() { info->vm.cpu.dflt_excp = VM_RMODE_EXCP_BITMAP; __update_exception_mask(); __deny_soft_int(); __deny_io_range(KBD_START_PORT, KBD_END_PORT); return 1; }
static void gdb_vmm_wr_excp_mask(uint8_t *data, size_t len) { raw64_t val; if(!gdb_get_number(data, len, (uint64_t*)&val.raw, 0)) { gdb_nak(); return; } info->vmm.ctrl.usr.excp = val.low; __update_exception_mask(); gdb_ok(); }