57 unsigned int restore_counter,
58 unsigned int stack_pointer)
60 (void)restore_counter;
70 #ifdef POK_NEEDS_DEBUG
71 printf (
"[KERNEL] [ERROR] Unhandled trap: 0x%x %%PSR=%x %%PC=%x %%nPC=%x %%sp=0x%x\n", trap_nb, psr, pc, npc, stack_pointer);
72 printf(
"%%psr : impl:0x%x ver:%x nzvc:%u%u%u%u EC:%u EF:%u PIL:0x%x S:%u PS:%u ET:%u CWP:%u\n\r",
73 (psr >> 28) & 0xF, (psr >> 24) & 0xF,
74 (psr >> 23) & 0x1, (psr >> 22) & 0x1c, (psr >> 21) & 0x1, (psr >> 20) & 0x1,
75 (psr >> 23) & 0x1, (psr >> 12) & 0x1, (psr >> 8) & 0xF, (psr >> 7) & 0x1, (psr >> 6) & 0x1,
76 (psr >> 5) & 0x1, psr & 0xF);