Symbol: HPET_FULL_SUPPORT
usr/src/uts/i86pc/io/hpet_acpi.c
431
hpet.supported = HPET_FULL_SUPPORT;
usr/src/uts/i86pc/io/hpet_acpi.c
445
if (hpet.supported != HPET_FULL_SUPPORT)
usr/src/uts/i86pc/os/cpupm/cpu_idle.c
729
(hpet.supported == HPET_FULL_SUPPORT) &&