Searched defs:xcr0 (Results 1 – 4 of 4) sorted by relevance
435 u64 xcr0, u32 *vpkru) in fpu_copy_uabi_to_guest_fpstate()
337 u64 xcr0 = 1, xss = 0; in snp_cpuid_postprocess() local
890 u64 xcr0; member
1268 u64 xcr0 = xcr; in __kvm_set_xcr() local