_tlbil_va
extern void _tlbil_va(unsigned long address, unsigned int pid,
_tlbil_va(vmaddr, pid, tsize, ind);
_tlbil_va(p->addr, p->pid, p->tsize, p->ind);