arch/ia64/include/asm/fpswa.h

   1 /* SPDX-License-Identifier: GPL-2.0 */
   2 #ifndef _ASM_IA64_FPSWA_H
   3 #define _ASM_IA64_FPSWA_H
   4
   5 /*
   6  * Floating-point Software Assist
   7  *
   8  * Copyright (C) 1999 Intel Corporation.
   9  * Copyright (C) 1999 Asit Mallick <asit.k.mallick@intel.com>
  10  * Copyright (C) 1999 Goutham Rao <goutham.rao@intel.com>
  11  */
  12
  13 typedef struct {
  14         /* 4 * 128 bits */
  15         unsigned long fp_lp[4*2];
  16 } fp_state_low_preserved_t;
  17
  18 typedef struct {
  19         /* 10 * 128 bits */
  20         unsigned long fp_lv[10 * 2];
  21 } fp_state_low_volatile_t;
  22
  23 typedef struct {
  24         /* 16 * 128 bits */
  25         unsigned long fp_hp[16 * 2];
  26 } fp_state_high_preserved_t;
  27
  28 typedef struct {
  29         /* 96 * 128 bits */
  30         unsigned long fp_hv[96 * 2];
  31 } fp_state_high_volatile_t;
  32
  33 /**
  34  * floating point state to be passed to the FP emulation library by
  35  * the trap/fault handler
  36  */
  37 typedef struct {
  38         unsigned long                   bitmask_low64;
  39         unsigned long                   bitmask_high64;
  40         fp_state_low_preserved_t        *fp_state_low_preserved;
  41         fp_state_low_volatile_t         *fp_state_low_volatile;
  42         fp_state_high_preserved_t       *fp_state_high_preserved;
  43         fp_state_high_volatile_t        *fp_state_high_volatile;
  44 } fp_state_t;
  45
  46 typedef struct {
  47         unsigned long status;
  48         unsigned long err0;
  49         unsigned long err1;
  50         unsigned long err2;
  51 } fpswa_ret_t;
  52
  53 /**
  54  * function header for the Floating Point software assist
  55  * library. This function is invoked by the Floating point software
  56  * assist trap/fault handler.
  57  */
  58 typedef fpswa_ret_t (*efi_fpswa_t) (unsigned long trap_type, void *bundle, unsigned long *ipsr,
  59                                     unsigned long *fsr, unsigned long *isr, unsigned long *preds,
  60                                     unsigned long *ifs, fp_state_t *fp_state);
  61
  62 /**
  63  * This is the FPSWA library interface as defined by EFI.  We need to pass a
  64  * pointer to the interface itself on a call to the assist library
  65  */
  66 typedef struct {
  67         unsigned int     revision;
  68         unsigned int     reserved;
  69         efi_fpswa_t      fpswa;
  70 } fpswa_interface_t;
  71
  72 extern fpswa_interface_t *fpswa_interface;
  73
  74 #endif /* _ASM_IA64_FPSWA_H */