efifpswa.h revision 1.1.2.2 1 /* $NetBSD: efifpswa.h,v 1.1.2.2 2016/08/06 00:19:09 pgoyette Exp $ */
2 /* $FreeBSD: releng/10.1/sys/boot/efi/include/efifpswa.h 96893 2002-05-19 03:17:22Z marcel $ */
3 #ifndef _EFI_FPSWA_H
4 #define _EFI_FPSWA_H
5
6 /*
7 * EFI FP SWA Driver (Floating Point Software Assist)
8 */
9
10 #define EFI_INTEL_FPSWA \
11 { 0xc41b6531, 0x97b9, 0x11d3, 0x9a, 0x29, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d }
12
13 INTERFACE_DECL(_FPSWA_INTERFACE);
14
15 typedef struct _FPSWA_RET {
16 UINT64 status;
17 UINT64 err1;
18 UINT64 err2;
19 UINT64 err3;
20 } FPSWA_RET;
21
22 typedef
23 FPSWA_RET
24 (EFIAPI *EFI_FPSWA) (
25 IN UINTN TrapType,
26 IN OUT VOID *Bundle,
27 IN OUT UINT64 *pipsr,
28 IN OUT UINT64 *pfsr,
29 IN OUT UINT64 *pisr,
30 IN OUT UINT64 *ppreds,
31 IN OUT UINT64 *pifs,
32 IN OUT VOID *fp_state
33 );
34
35 typedef struct _FPSWA_INTERFACE {
36 UINT32 Revision;
37 UINT32 Reserved;
38 EFI_FPSWA Fpswa;
39 } FPSWA_INTERFACE;
40
41 #endif
42