Searched refs:should_geq_u64 (Results 1 – 1 of 1) sorted by relevance
62 should_geq_u64(const char *field_name, uint64_t a, uint64_t b) in should_geq_u64() function445 should_geq_u64("vt_guest_tsc", res.vt_guest_tsc, valid.vt_guest_tsc); in test_valid_guest_tsc()511 should_geq_u64("vt_hres_ns", res.vt_hres_ns, src->vt_hres_ns); in test_adjust()516 should_geq_u64("vt_guest_tsc", res.vt_guest_tsc, src->vt_guest_tsc); in test_adjust()