Searched refs:this_cpu_supported_xcr0 (Results 1 – 3 of 3) sorted by relevance
58 supported_xcr0 = this_cpu_supported_xcr0(); in guest_code()
144 uint64_t supported_xcr0 = this_cpu_supported_xcr0(); in guest_code()
706 static __always_inline uint64_t this_cpu_supported_xcr0(void) in this_cpu_supported_xcr0() function
