Logo Search packages:      
Sourcecode: linux version File versions  Download package

fpswa.h

#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
 */
00036 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
 */
00065 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 */

Generated by  Doxygen 1.6.0   Back to index