Searched refs:guest_read_system_counter (Results 1 – 1 of 1) sorted by relevance
42 static uint64_t 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()