Searched defs:xcr0 (Results 1 – 2 of 2) sorted by relevance
289 uint64_t xcr0; member
5996 uint64_t xcr0 = vcpu->vc_gueststate.vg_xcr0; vmm_handle_cpuid_0xd() local [all...]