1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_IA64_FPSWA_H
3 #define _ASM_IA64_FPSWA_H
6 * Floating-point Software Assist
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>
15 unsigned long fp_lp[4*2];
16 } fp_state_low_preserved_t;
20 unsigned long fp_lv[10 * 2];
21 } fp_state_low_volatile_t;
25 unsigned long fp_hp[16 * 2];
26 } fp_state_high_preserved_t;
30 unsigned long fp_hv[96 * 2];
31 } fp_state_high_volatile_t;
34 * floating point state to be passed to the FP emulation library by
35 * the trap/fault handler
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;
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.
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);
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
67 unsigned int revision;
68 unsigned int reserved;
72 extern fpswa_interface_t *fpswa_interface;
74 #endif /* _ASM_IA64_FPSWA_H */