should_geq_i64
should_geq_i64("boot_hrtime", res.vt_boot_hrtime, valid.vt_boot_hrtime);
should_geq_i64("boot_hrtime", res.vt_boot_hrtime, valid.vt_boot_hrtime);
should_geq_i64("boot_hrtime", res.vt_boot_hrtime, valid.vt_boot_hrtime);
should_geq_i64("vt_hrtime", res.vt_hrtime, src->vt_hrtime);