EFI_NX_PE_DATA    584 arch/x86/platform/efi/efi_64.c 	if (!efi_enabled(EFI_NX_PE_DATA))
EFI_NX_PE_DATA    582 drivers/firmware/efi/efi.c 			set_bit(EFI_NX_PE_DATA, &efi.flags);