__syncicache
void __syncicache(void *, size_t);
__syncicache((void *)addr, limit);
__syncicache(EXC_RSVD, EXC_END - EXC_RSVD);
__syncicache((void *)va, PAGE_SIZE);
__syncicache((void *)cva, clen);