1#ifndef _EFI_FPSWA_H 2#define _EFI_FPSWA_H 3 4/* 5 * EFI FP SWA Driver (Floating Point Software Assist) 6 */ 7 8#define EFI_INTEL_FPSWA \ 9 { 0xc41b6531, 0x97b9, 0x11d3, {0x9a, 0x29, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d} } 10 11INTERFACE_DECL(_FPSWA_INTERFACE); 12 13typedef struct _FPSWA_RET { 14 UINT64 status; 15 UINT64 err1; 16 UINT64 err2; 17 UINT64 err3; 18} FPSWA_RET; 19 20typedef 21FPSWA_RET 22(EFIAPI *EFI_FPSWA) ( 23 IN UINTN TrapType, 24 IN OUT VOID *Bundle, 25 IN OUT UINT64 *pipsr, 26 IN OUT UINT64 *pfsr, 27 IN OUT UINT64 *pisr, 28 IN OUT UINT64 *ppreds, 29 IN OUT UINT64 *pifs, 30 IN OUT VOID *fp_state 31 ); 32 33typedef struct _FPSWA_INTERFACE { 34 UINT32 Revision; 35 UINT32 Reserved; 36 EFI_FPSWA Fpswa; 37} FPSWA_INTERFACE; 38 39#endif 40