sys/arch/ia64/stand/efi/include/efifpswa.h

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