sys/boot/efi/include/efifpswa.h

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