Searched refs:efi_fpswa_t (Results 1 – 1 of 1) sorted by relevance
57 typedef fpswa_ret_t (*efi_fpswa_t) (unsigned long trap_type, void *bundle, unsigned long *ipsr, typedef68 efi_fpswa_t fpswa;