_tlbie
extern void _tlbie(unsigned long va); /* invalidate a TLB entry */
extern void _tlbie(unsigned long address);
#define __tlbie(x) { _tlbie(x); }
_tlbie(va);
void _tlbie(unsigned long address);
_tlbie(start);
_tlbie(vmaddr);