_tlbiel_va - Linux

497

_tlbiel_va(t->va, t->pid, t->psize, RIC_FLUSH_TLB);

499

_tlbiel_va(t->va, t->pid, t->psize, RIC_FLUSH_PWC);

501

_tlbiel_va(t->va, t->pid, t->psize, RIC_FLUSH_ALL);

622

_tlbiel_va(vmaddr, pid, psize, RIC_FLUSH_TLB);

923

_tlbiel_va(vmaddr, pid, psize, RIC_FLUSH_TLB);