Searched refs:fp_regs (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ia64/
H A Dffi.c56 fpreg fp_regs[8]; /* Contents of 8 fp arg registers. */ member in struct:ia64_args
327 stf_spill (&stack->fp_regs[fpcount++], *(float *)avalue[i]);
337 stf_spill (&stack->fp_regs[fpcount++], *(double *)avalue[i]);
345 stf_spill (&stack->fp_regs[fpcount++], *(__float80 *)avalue[i]);
370 hfa_type_load (&stack->fp_regs[fpcount], hfa_type,
496 fpreg *addr = &stack->fp_regs[fpcount++];
510 fpreg *addr = &stack->fp_regs[fpcount++];
526 fpreg *addr = &stack->fp_regs[fpcount++];
561 &stack->fp_regs[fpcount]);

Completed in 34 milliseconds