Searched defs:xcr0 (Results 1 – 3 of 3) sorted by relevance
391 u64 xcr0, u32 *vpkru) in fpu_copy_uabi_to_guest_fpstate()
856 u64 xcr0; member
1228 u64 xcr0 = xcr; in __kvm_set_xcr() local