Symbol: hma_fpu_start_guest
usr/src/uts/intel/io/vmm/vmm.c
1456
hma_fpu_start_guest(vcpu->guestfpu);
usr/src/uts/intel/sys/hma.h
145
extern void hma_fpu_start_guest(hma_fpu_t *);