fpe_store
void fpe_store(struct fpreg *state);
fpe_store(fpu_initialstate);
fpe_store(vcpu->guestfpu);