Searched refs:guest_xcr0 (Results 1 – 1 of 1) sorted by relevance
119 uint64_t guest_xcr0; /* (i) guest %xcr0 register */ member332 vcpu->guest_xcr0 = XFEATURE_ENABLED_X87; in vcpu_init()1144 load_xcr(0, vcpu->guest_xcr0); in restore_guest_fpustate()1162 vcpu->guest_xcr0 = rxcr(0); in save_guest_fpustate()2777 SNAPSHOT_VAR_OR_LEAVE(vcpu->guest_xcr0, meta, ret, done); in vm_snapshot_vcpus()