Symbol: __complete_pending_tlbi
arch/arm/include/asm/switch_to.h
15
#define __complete_pending_tlbi() dsb(ish)
arch/arm/include/asm/switch_to.h
17
#define __complete_pending_tlbi()