Searched refs:guestfpu (Results 1 – 1 of 1) sorted by relevance
149 hma_fpu_t *guestfpu; /* (a,i) guest fpu state */ member364 hma_fpu_free(vcpu->guestfpu); in vcpu_cleanup()365 vcpu->guestfpu = NULL; in vcpu_cleanup()394 vcpu->guestfpu = hma_fpu_alloc(KM_SLEEP); in vcpu_init()423 (void) hma_fpu_init(vcpu->guestfpu); in vcpu_init()1311 res = hma_fpu_get_xsave_state(vcpu->guestfpu, buf, len); in vm_get_fpu()1324 res = hma_fpu_set_xsave_state(vcpu->guestfpu, buf, len); in vm_set_fpu()1437 hma_fpu_start_guest(vcpu->guestfpu); in restore_guest_fpustate()1465 hma_fpu_stop_guest(vcpu->guestfpu); in save_guest_fpustate()3141 (void) hma_fpu_init(vcpu->guestfpu); in vcpu_arch_reset()