Searched defs:xcr0 (Results 1 – 9 of 9) sorted by relevance
129 uint64_t cr4, xcr0; in init_regs() local
391 u64 xcr0, u32 *vpkru) in fpu_copy_uabi_to_guest_fpstate()
306 WHV_REGISTER_VALUE xcr0; in whpx_set_xcrs() local579 WHV_REGISTER_VALUE xcr0; in whpx_get_xcrs() local
464 u64 xcr0 = 1, xss = 0; in snp_cpuid_postprocess() local
445 u64 xcr0; member498 u64 xcr0; member
803 u64 xcr0; member
7075 uint64_t xcr0; in x86_cpu_reset_hold() local
1784 uint64_t xcr0; member
1076 u64 xcr0 = xcr; in __kvm_set_xcr() local