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 -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
