Re-add the PID to page fault details

This commit is contained in:
pjht 2020-08-03 07:42:16 -05:00
parent d9a01fdbda
commit fd36ed577a

View File

@ -147,10 +147,10 @@ void isr_handler(registers_t* r) {
serial_write_string("PAGE FAULT\n"); serial_write_string("PAGE FAULT\n");
void* addr; void* addr;
asm("movl %%cr2,%0": "=r"(addr)); asm("movl %%cr2,%0": "=r"(addr));
// serial_write_string("In PID "); serial_write_string("In PID ");
char str[11]; char str[11];
// int_to_ascii(getPID(),str); int_to_ascii(tasking_get_PID(),str);
// serial_write_string(str); serial_write_string(str);
serial_write_string(" and address "); serial_write_string(" and address ");
str[0]='\0'; str[0]='\0';
hex_to_ascii(r->eip,str); hex_to_ascii(r->eip,str);