windows-nt/Source/XPSP1/NT/base/ntos/ke/ia64/fpswa.h

84 lines
1.4 KiB
C
Raw Permalink Normal View History

2020-09-26 03:20:57 -05:00
/*++
Copyright (c) 1998 Intel Corporation
Module Name:
fpswa.h
Abstract:
EFI driver wrapper for FPSWA
Revision History
--*/
// #include "efi.h"
// #include "efilib.h"
//
// First define PAL_RETURN
//
// typedef int PAL_RETURN;
//
// Global ID for fpswa driver & protocol
//
#define EFI_INTEL_FPSWA \
{ 0xc41b6531, 0x97b9, 0x11d3, 0x9a, 0x29, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d }
#define EFI_INTEL_FPSWA_REVISION 0x00010000
//
//
//
typedef
PAL_RETURN
(*EFI_FPSWA) (
IN unsigned int TrapType,
IN OUT BUNDLE *pBundle,
IN OUT UINT64 *pipsr,
IN OUT UINT64 *pfsr,
IN OUT UINT64 *pisr,
IN OUT UINT64 *ppreds,
IN OUT UINT64 *pifs,
IN OUT FP_STATE *fp_state
);
typedef struct _FPSWA_INTERFACE {
UINT32 Revision;
UINT32 Reserved;
EFI_FPSWA Fpswa;
} FPSWA_INTERFACE;
//
// Prototypes
//
// PAL_RETURN
// fp_emulate (
// IN unsigned int TrapType,
// IN OUT BUNDLE *pBundle,
// IN OUT UINT64 *pipsr,
// IN OUT UINT64 *pfsr,
// IN OUT UINT64 *pisr,
// IN OUT UINT64 *ppreds,
// IN OUT UINT64 *pifs,
// IN OUT FP_STATE *fp_state
// );
//
// Globals
//
// extern EFI_GUID FpswaId;
// extern FPSWA_INTERFACE FpswaInterface;
// extern EFI_EVENT FpswaEvent;