Lines Matching refs:GUEST_ASSERT
57 GUEST_ASSERT(tsc_freq > 0); in check_tsc_msr_rdtsc()
68 GUEST_ASSERT(r2 > r1 && t2 > t1); in check_tsc_msr_rdtsc()
76 GUEST_ASSERT(delta_ns * 100 < (t2 - t1) * 100); in check_tsc_msr_rdtsc()
93 GUEST_ASSERT(r1 >= t1 && r1 - t1 < 100000); in check_tsc_msr_tsc_page()
98 GUEST_ASSERT(r2 >= t1 && r2 - t2 < 100000); in check_tsc_msr_tsc_page()
116 GUEST_ASSERT(tsc_page->tsc_sequence == 0); in guest_main()
117 GUEST_ASSERT(tsc_page->tsc_scale == 0); in guest_main()
118 GUEST_ASSERT(tsc_page->tsc_offset == 0); in guest_main()
124 GUEST_ASSERT(tsc_page->tsc_sequence != 0); in guest_main()
137 GUEST_ASSERT(get_tscpage_ts(tsc_page) < 100000); in guest_main()
139 GUEST_ASSERT(tsc_page->tsc_offset != tsc_offset); in guest_main()
152 GUEST_ASSERT(tsc_page->tsc_offset == tsc_offset); in guest_main()
153 GUEST_ASSERT(tsc_page->tsc_scale == tsc_scale); in guest_main()
169 GUEST_ASSERT(tsc_page->tsc_sequence == 0); in guest_main()
170 GUEST_ASSERT(tsc_page->tsc_offset == 0); in guest_main()
171 GUEST_ASSERT(tsc_page->tsc_scale == 0); in guest_main()