platform/pc/timer.cpp

59     CLOCK_HPET,
67         [CLOCK_HPET] = "HPET",
126     case CLOCK_HPET: {
151     case CLOCK_HPET: {
298                 case CLOCK_HPET:
316                 case CLOCK_HPET:
334                 case CLOCK_HPET:
367         case CLOCK_HPET:
384         case CLOCK_HPET:
405         case CLOCK_HPET:
485         calibration_clock = CLOCK_HPET;
520             wall_clock = CLOCK_HPET;
634     case CLOCK_HPET: