EXC_RSVD
for (exc = EXC_RSVD; exc < EXC_END; exc += 0x100) {
__syncicache(EXC_RSVD, EXC_END - EXC_RSVD);
reg.addr = trunc_page(EXC_RSVD);