EXC_RSVD
__syncicache(EXC_RSVD, EXC_LAST - EXC_RSVD);
for (pa = EXC_RSVD; pa < EXC_LAST; pa += PAGE_SIZE)
__syncicache((void *)PHYS_TO_DMAP(EXC_RSVD), EXC_LAST - EXC_RSVD);