Searched refs:xss_val (Results 1 – 1 of 1) sorted by relevance
43 uint64_t xss_val; in main() local58 xss_val = vcpu_get_msr(vm, VCPU_ID, MSR_IA32_XSS); in main()59 TEST_ASSERT(xss_val == 0, in main()62 vcpu_set_msr(vm, VCPU_ID, MSR_IA32_XSS, xss_val); in main()