Searched refs:xss_val (Results 1 – 1 of 1) sorted by relevance
22 uint64_t xss_val; in main() local30 xss_val = vcpu_get_msr(vcpu, MSR_IA32_XSS); in main()31 TEST_ASSERT(xss_val == 0, in main()34 vcpu_set_msr(vcpu, MSR_IA32_XSS, xss_val); in main()