VDC_HPET
{ VDC_HPET, 1 },
VERIFY3U(req->vdr_class, ==, VDC_HPET);
.vdve_class = VDC_HPET,
case VDC_HPET: