Searched refs:guest_read_system_counter (Results 1 – 1 of 1) sorted by relevance
42 static u64 guest_read_system_counter(struct test_case *test) in guest_read_system_counter() function68 GUEST_SYNC_CLOCK(i, guest_read_system_counter(test)); in guest_main()