void i386_ipi_flush_fpu(struct cpu_info *ci) { npxsave_cpu(ci, 0); }
void i386_ipi_synch_fpu(struct cpu_info *ci) { npxsave_cpu(ci, 1); }
void i386_ipi_flush_fpu(struct cpu_info *ci) { npxsave_cpu(false); }