6 * EFI FP SWA Driver (Floating Point Software Assist)
9 #define EFI_INTEL_FPSWA \
10 { 0xc41b6531, 0x97b9, 0x11d3, 0x9a, 0x29, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d }
12 INTERFACE_DECL(_FPSWA_INTERFACE);
14 typedef struct _FPSWA_RET {
29 IN OUT UINT64 *ppreds,
34 typedef struct _FPSWA_INTERFACE {