Commit | Line | Data |
---|---|---|
b2441318 | 1 | /* SPDX-License-Identifier: GPL-2.0 */ |
1da177e4 LT |
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 */ |