__tlbia            30 arch/microblaze/include/asm/tlbflush.h 	{ __tlbia(); }
__tlbia            32 arch/microblaze/include/asm/tlbflush.h 	{ __tlbia(); }
__tlbia            38 arch/microblaze/include/asm/tlbflush.h 	{ __tlbia(); }