Searched refs:xss_val (Results 1 – 1 of 1) sorted by relevance
20 u64 xss_val; in main() local28 xss_val = vcpu_get_msr(vcpu, MSR_IA32_XSS); in main()29 TEST_ASSERT(xss_val == 0, in main()32 vcpu_set_msr(vcpu, MSR_IA32_XSS, xss_val); in main()