/* SPDX-License-Identifier: GPL-2.0 */ #ifndef _ASM_IA64_FPSWA_H #define _ASM_IA64_FPSWA_H /* * Floating-point Software Assist * * Copyright (C) 1999 Intel Corporation. * Copyright (C) 1999 Asit Mallick <asit.k.mallick@intel.com> * Copyright (C) 1999 Goutham Rao <goutham.rao@intel.com> */ typedef struct { /* 4 * 128 bits */ unsigned long fp_lp[4*2]; } fp_state_low_preserved_t; typedef struct { /* 10 * 128 bits */ unsigned long fp_lv[10 * 2]; } fp_state_low_volatile_t; typedef struct { /* 16 * 128 bits */ unsigned long fp_hp[16 * 2]; } fp_state_high_preserved_t; typedef struct { /* 96 * 128 bits */ unsigned long fp_hv[96 * 2]; } fp_state_high_volatile_t; /** * floating point state to be passed to the FP emulation library by * the trap/fault handler */ typedef struct { unsigned long bitmask_low64; unsigned long bitmask_high64; fp_state_low_preserved_t *fp_state_low_preserved; fp_state_low_volatile_t *fp_state_low_volatile; fp_state_high_preserved_t *fp_state_high_preserved; fp_state_high_volatile_t *fp_state_high_volatile; } fp_state_t; typedef struct { unsigned long status; unsigned long err0; unsigned long err1; unsigned long err2; } fpswa_ret_t; /** * function header for the Floating Point software assist * library. This function is invoked by the Floating point software * assist trap/fault handler. */ typedef fpswa_ret_t (*efi_fpswa_t) (unsigned long trap_type, void *bundle, unsigned long *ipsr, unsigned long *fsr, unsigned long *isr, unsigned long *preds, unsigned long *ifs, fp_state_t *fp_state); /** * This is the FPSWA library interface as defined by EFI. We need to pass a * pointer to the interface itself on a call to the assist library */ typedef struct { unsigned int revision; unsigned int reserved; efi_fpswa_t fpswa; } fpswa_interface_t; extern fpswa_interface_t *fpswa_interface; #endif /* _ASM_IA64_FPSWA_H */