2 * $FreeBSD: src/sys/boot/efi/include/efifpswa.h,v 1.2 2002/05/19 03:17:20 marcel Exp $
3 * $DragonFly: src/sys/boot/efi/include/efifpswa.h,v 1.1 2003/11/10 06:08:32 dillon Exp $
9 * EFI FP SWA Driver (Floating Point Software Assist)
12 #define EFI_INTEL_FPSWA \
13 { 0xc41b6531, 0x97b9, 0x11d3, 0x9a, 0x29, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d }
15 INTERFACE_DECL(_FPSWA_INTERFACE);
17 typedef struct _FPSWA_RET {
32 IN OUT UINT64 *ppreds,
37 typedef struct _FPSWA_INTERFACE {