kprintf(KERROR "Pid: %d\n", __current->pid);
kprintf(KERROR "Addr: %p\n", (&debug_resv)[0]);
kprintf(KERROR "Expected: %p\n", (&debug_resv)[1]);
kprintf(KERROR "Pid: %d\n", __current->pid);
kprintf(KERROR "Addr: %p\n", (&debug_resv)[0]);
kprintf(KERROR "Expected: %p\n", (&debug_resv)[1]);
uint32_t error_reg = apic_read_reg(APIC_ESR);
char buf[32];
sprintf(buf, "APIC error, ESR=0x%x", error_reg);
uint32_t error_reg = apic_read_reg(APIC_ESR);
char buf[32];
sprintf(buf, "APIC error, ESR=0x%x", error_reg);