ipi_savefpstate
void ipi_savefpstate(struct fpstate *);
XCALL1(ipi_savefpstate, fs, 1 << cpi->ci_cpuid);
XCALL1(ipi_savefpstate, fs, 1 << cpi->ci_cpuid);
XCALL1(ipi_savefpstate, l1->l_md.md_fpstate,
XCALL1(ipi_savefpstate, fs, 1 << cpi->ci_cpuid);