--- /dev/null
+arch/x86/platform/efi/efi_stub_64.S .text efi_call callq *%rdi
+arch/x86/platform/efi/efi_thunk_64.S .text efi64_thunk callq *%rbx
+arch/x86/platform/efi/efi_thunk_64.S .text efi_enter32 callq *%rdi
+drivers/watchdog/hpwdt.c .text asminline_call callq *%r12