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 */
75