Searched refs:MSR_IA32_XSS (Results 1 – 3 of 3) sorted by relevance
58 xss_val = vcpu_get_msr(vm, VCPU_ID, MSR_IA32_XSS); in main()62 vcpu_set_msr(vm, VCPU_ID, MSR_IA32_XSS, xss_val); in main()70 r = _vcpu_set_msr(vm, VCPU_ID, MSR_IA32_XSS, 1ull << i); in main()71 TEST_ASSERT(r == 0 || is_supported_msr(MSR_IA32_XSS), in main()
777 #define MSR_IA32_XSS 0x00000da0 macro
302 pub const MSR_IA32_XSS: ::std::os::raw::c_uint = 0x00000da0; constant