Home | History | Annotate | Line # | Download | only in inc 
      1 /*	$NetBSD: efifpswa.h,v 1.1 2016/08/04 18:08:12 scole 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