109,11 → 109,11 |
spinlock_lock(&exctbl_lock); |
|
if (sizeof(void *) == 4) { |
printf("Exc Description Handler Symbol\n"); |
printf("--- -------------- ---------- --------\n"); |
printf("Exc Description Handler Symbol\n"); |
printf("--- -------------------- ---------- --------\n"); |
} else { |
printf("Exc Description Handler Symbol\n"); |
printf("--- -------------- ------------------ --------\n"); |
printf("Exc Description Handler Symbol\n"); |
printf("--- -------------------- ------------------ --------\n"); |
} |
|
for (i = 0; i < IVT_ITEMS; i++) { |
122,10 → 122,10 |
symbol = "not found"; |
|
if (sizeof(void *) == 4) |
printf("%-3u %-14s %#10zx %s\n", i + IVT_FIRST, exc_table[i].name, |
printf("%-3u %-20s %#10zx %s\n", i + IVT_FIRST, exc_table[i].name, |
exc_table[i].f, symbol); |
else |
printf("%-3u %-14s %#18zx %s\n", i + IVT_FIRST, exc_table[i].name, |
printf("%-3u %-20s %#18zx %s\n", i + IVT_FIRST, exc_table[i].name, |
exc_table[i].f, symbol); |
|
if (((i + 1) % 20) == 0) { |