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);