Symbol: should_geq_u64
usr/src/test/bhyve-tests/tests/vmm/time_data.c
445
should_geq_u64("vt_guest_tsc", res.vt_guest_tsc, valid.vt_guest_tsc);
usr/src/test/bhyve-tests/tests/vmm/time_data.c
511
should_geq_u64("vt_hres_ns", res.vt_hres_ns, src->vt_hres_ns);
usr/src/test/bhyve-tests/tests/vmm/time_data.c
516
should_geq_u64("vt_guest_tsc", res.vt_guest_tsc, src->vt_guest_tsc);