RISCV_SYNC_ICACHE
if ((p->p_p->ps_flags & PS_PLEDGE) && op != RISCV_SYNC_ICACHE)
case RISCV_SYNC_ICACHE: