Lines Matching refs:rounded_host_rdmsr
17 #define rounded_host_rdmsr(x) ROUND(vcpu_get_msr(vcpu, x)) macro
106 TEST_ASSERT_EQ(rounded_host_rdmsr(MSR_IA32_TSC), val); in main()
107 TEST_ASSERT_EQ(rounded_host_rdmsr(MSR_IA32_TSC_ADJUST), val); in main()
112 TEST_ASSERT_EQ(rounded_host_rdmsr(MSR_IA32_TSC), val); in main()
113 TEST_ASSERT_EQ(rounded_host_rdmsr(MSR_IA32_TSC_ADJUST), val); in main()
118 TEST_ASSERT_EQ(rounded_host_rdmsr(MSR_IA32_TSC), val); in main()
119 TEST_ASSERT_EQ(rounded_host_rdmsr(MSR_IA32_TSC_ADJUST), val); in main()
126 TEST_ASSERT_EQ(rounded_host_rdmsr(MSR_IA32_TSC), HOST_ADJUST + val); in main()
127 TEST_ASSERT_EQ(rounded_host_rdmsr(MSR_IA32_TSC_ADJUST), val); in main()
132 TEST_ASSERT_EQ(rounded_host_rdmsr(MSR_IA32_TSC), HOST_ADJUST + val); in main()
137 TEST_ASSERT_EQ(rounded_host_rdmsr(MSR_IA32_TSC), HOST_ADJUST + val); in main()
138 TEST_ASSERT_EQ(rounded_host_rdmsr(MSR_IA32_TSC_ADJUST), val); in main()
146 TEST_ASSERT_EQ(rounded_host_rdmsr(MSR_IA32_TSC), HOST_ADJUST + val); in main()
147 TEST_ASSERT_EQ(rounded_host_rdmsr(MSR_IA32_TSC_ADJUST), val); in main()
155 TEST_ASSERT_EQ(rounded_host_rdmsr(MSR_IA32_TSC), val); in main()
156 TEST_ASSERT_EQ(rounded_host_rdmsr(MSR_IA32_TSC_ADJUST), val - HOST_ADJUST); in main()