post_ttbr_update_workaround  151 arch/arm64/include/asm/efi.h 			post_ttbr_update_workaround();
post_ttbr_update_workaround  249 arch/arm64/include/asm/mmu_context.h void post_ttbr_update_workaround(void);