64,8 → 64,10 |
printf("%%eip: %X (%s)\n",istate->eip,symbol); |
printf("ERROR_WORD=%X\n", istate->error_word); |
printf("%%cs=%X,flags=%X\n", istate->cs, istate->eflags); |
printf("%%eax=%X, %%ebx=%X, %%ecx=%X, %%edx=%X\n", istate->eax,istate->ebx,istate->ecx,istate->edx); |
printf("%%esi=%X, %%edi=%X, %%ebp=%X, %%esp=%X\n", istate->esi,istate->edi,istate->ebp,istate->esp); |
printf("%%eax=%X, %%ecx=%X, %%edx=%X, %%esp=%X\n", istate->eax,istate->ecx,istate->edx,&istate->stack[0]); |
#ifdef CONFIG_DEBUG_ALLREGS |
printf("%%esi=%X, %%edi=%X, %%ebp=%X, %%ebx=%X\n", istate->esi,istate->edi,istate->ebp,istate->ebx); |
#endif |
printf("stack: %X, %X, %X, %X\n", istate->stack[0], istate->stack[1], istate->stack[2], istate->stack[3]); |
printf(" %X, %X, %X, %X\n", istate->stack[4], istate->stack[5], istate->stack[6], istate->stack[7]); |
} |
125,12 → 127,7 |
|
void syscall(int n, istate_t *istate) |
{ |
interrupts_enable(); |
if (istate->esi < SYSCALL_END) |
istate->eax = syscall_table[istate->esi](istate->eax, istate->ebx, istate->ecx, istate->edx); |
else |
panic("Undefined syscall %d", istate->esi); |
interrupts_disable(); |
panic("Obsolete syscall handler."); |
} |
|
void tlb_shootdown_ipi(int n, istate_t *istate) |