efi_sync_low_kernel_mappings   47 arch/x86/platform/efi/efi_32.c void efi_sync_low_kernel_mappings(void) {}
efi_sync_low_kernel_mappings  247 arch/x86/platform/efi/efi_64.c void efi_sync_low_kernel_mappings(void)