RIC_FLUSH_PWC
__tlbiel_pid(pid, 0, RIC_FLUSH_PWC);
__tlbie_pid(pid, RIC_FLUSH_PWC);
_tlbie_lpid(lpid, RIC_FLUSH_PWC);
case RIC_FLUSH_PWC:
__tlbie_pid_lpid(pid, lpid, RIC_FLUSH_PWC);
__tlbie_pid_lpid(pid, lpid, RIC_FLUSH_PWC);
_tlbie_pid_lpid(pid, lpid, RIC_FLUSH_PWC);
case RIC_FLUSH_PWC:
__tlbiel_pid(pid, 0, RIC_FLUSH_PWC);
case RIC_FLUSH_PWC:
__tlbie_pid(pid, RIC_FLUSH_PWC);
else if (t->ric == RIC_FLUSH_PWC)
_tlbiel_pid(t->pid, RIC_FLUSH_PWC);
case RIC_FLUSH_PWC:
__tlbie_lpid(lpid, RIC_FLUSH_PWC);
case RIC_FLUSH_PWC:
__tlbie_lpid_guest(lpid, RIC_FLUSH_PWC);
__tlbiel_pid(pid, 0, RIC_FLUSH_PWC);
else if (t->ric == RIC_FLUSH_PWC)
_tlbiel_va(t->va, t->pid, t->psize, RIC_FLUSH_PWC);
__tlbie_pid(pid, RIC_FLUSH_PWC);