diff --git a/arch/x86_64/irq.c b/arch/x86_64/irq.c index 57365fd..a7a0810 100644 --- a/arch/x86_64/irq.c +++ b/arch/x86_64/irq.c @@ -97,7 +97,9 @@ static void pf_handler(struct ml_cpu_context *regs) virt_addr_t fault_ptr = pf_faultptr(); + ml_int_enable(); kern_status_t status = pmap_handle_fault(fault_ptr, fault_flags); + ml_int_disable(); if (status == KERN_OK) { return;