syncicache
syncicache((void *)EXC_RST, 0x100);
syncicache((void *)EXC_RST, EXC_END - EXC_RST);
syncicache((void *)&extint_call, sizeof extint_call);
syncicache((void *)EXC_EXI, (size_t)&extsize);
syncicache((void *)RELOC, etext - (char *)RELOC);
void syncicache(void *, size_t);
syncicache((void *)entry, (size_t)ssym - entry);
syncicache((void *)addr, size);
syncicache(p->s, (p->e - p->s) * sizeof(*p->e));
syncicache(p->s, (p->e - p->s) * sizeof(*p->e));
syncicache(p->s, (p->e - p->s) * sizeof(*p->e));
syncicache((void *)start, PAGE_SIZE);
syncicache((void *)pa, clen);
syncicache((void *)(long)phdr.p_vaddr, phdr.p_filesz);
void syncicache(void *, int);