ARM_SYNC_ICACHE
return sysarch(ARM_SYNC_ICACHE, &p);
if ((p->p_p->ps_flags & PS_PLEDGE) && op != ARM_SYNC_ICACHE)
case ARM_SYNC_ICACHE :