Searched refs:EXCEPT_X64_DOUBLE_FAULT (Results 1 - 4 of 4) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/IntelFrameworkPkg/Include/Framework/
H A DStatusCode.h78 #define EFI_SW_EC_X64_DOUBLE_FAULT EXCEPT_X64_DOUBLE_FAULT
/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Protocol/
H A DDebugSupport.h144 #define EXCEPT_X64_DOUBLE_FAULT 8 macro
/vbox/src/VBox/Devices/PC/ipxe/src/include/ipxe/efi/Protocol/
H A DDebugSupport.h146 #define EXCEPT_X64_DOUBLE_FAULT 8 macro
/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Pi/
H A DPiStatusCode.h1166 #define EFI_SW_EC_X64_DOUBLE_FAULT EXCEPT_X64_DOUBLE_FAULT

Completed in 111 milliseconds