Searched refs:elf_fpregset_t32 (Results 1 – 1 of 1) sorted by relevance
694 } elf_fpregset_t32; typedef705 elf_fpregset_t32 *fpregs32 = (elf_fpregset_t32 *)fpregs; in dump_fpu()