EXC_LAST
for (uintptr_t exc = EXC_RSVD; exc <= EXC_LAST; exc += 0x100) {
__syncicache((void *)EXC_RST, EXC_LAST - EXC_RST + 0x100);
for (exc = exc_base; exc <= exc_base + EXC_LAST; exc += 0x100) {
(uintptr_t)ip <= exc_base + EXC_LAST;
__syncicache((void *)exc_base, EXC_LAST + 0x100);