trap_desc
const char *trap_desc(int);
printf("kernel: %s\n", trap_desc(type));
panic("%s", trap_desc(type));
printf("\r\nKernel %s", trap_desc(type));