Symbol: restore_guest_fpustate
usr/src/uts/intel/io/vmm/vmm.c
2402
restore_guest_fpustate(vcpu);
usr/src/uts/intel/io/vmm/vmm.c
2559
restore_guest_fpustate(vcpu);