Searched refs:guest_xcr0 (Results 1 - 1 of 1) sorted by relevance

/freebsd-10-stable/sys/amd64/vmm/
H A Dvmm.c110 uint64_t guest_xcr0; /* (i) guest %xcr0 register */ member in struct:vcpu
294 vcpu->guest_xcr0 = XFEATURE_ENABLED_X87;
1065 load_xcr(0, vcpu->guest_xcr0);
1083 vcpu->guest_xcr0 = rxcr(0);

Completed in 123 milliseconds