cachectl1
int cachectl1(u_long, vaddr_t, size_t, struct proc *);
(void)cachectl1(0x80000004, va, len, p);
(void)cachectl1(0x80000004, va, len, p);
(void)cachectl1(0x80000004, va, len, p);
(void)cachectl1(0x80000004, va, len, p);
cachectl1(CC_EXTPURGE | CC_IPURGE,
cachectl1(CC_EXTPURGE | CC_IPURGE,
if ((error = cachectl1(CC_EXTPURGE|CC_PURGE, addr, len, p)) !=0)
error = cachectl1(CC_EXTPURGE|CC_IPURGE, addr, len, p);