+++ /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