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