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);