__complete_pending_tlbi   14 arch/arm/include/asm/switch_to.h #define __complete_pending_tlbi()	dsb(ish)
__complete_pending_tlbi   16 arch/arm/include/asm/switch_to.h #define __complete_pending_tlbi()