Lines Matching refs:EXCEPT_X64_DOUBLE_FAULT
1171 #define EFI_SW_EC_X64_DOUBLE_FAULT EXCEPT_X64_DOUBLE_FAULT