Does anything ever enter through startup_64 in head_64.S?

[David Howells]

Hi Matt,

Does anything ever enter the kernel through startup_64 in head_64.S?[*]  Do
all 64-bit mode entries always enter through one of the EFI entry points?

Thanks,
David

[*] I know startup_32 goes through there, but that's internal