EXC_END
for (exc = EXC_RSVD; exc < EXC_END; exc += 0x100) {
syncicache((void *)EXC_RST, EXC_END - EXC_RST);
for (trap = EXC_RST; trap < EXC_END; trap += 32)
__syncicache(EXC_RSVD, EXC_END - EXC_RSVD);
reg.size = round_page(EXC_END);