No definitions found in the database

Referenced in 6 files:

• arch/x86/boot/compressed/efi_mixed.S, line 282
• arch/x86/boot/compressed/head_64.S
  • line 134
  • line 592
• arch/x86/kernel/head_32.S, line 209
• arch/x86/kernel/head_64.S
  • line 103
  • line 158
• arch/x86/kernel/verify_cpu.S
  • line 34
  • line 140
• arch/x86/realmode/rm/trampoline_64.S, line 72