Implementation: irq-lpc-debug.c: printf("BUG @ 0x%08lx\n", (long)pc); for (b = __bug_first; b < __bug_last; b++) if (b->pc == pc) break; if (b == __bug_last) { printf("-- not found in table\n"); return 0; } printf("ID %i %s:%i\n", b->id, b->file, b->line);