MIPS64_CACHEFLUSH
return sysarch(MIPS64_CACHEFLUSH, (void *)&args);
if ((p->p_p->ps_flags & PS_PLEDGE) && op != MIPS64_CACHEFLUSH)
case MIPS64_CACHEFLUSH: