Symbol: VVE_BAD_TIMER_CONFIG
usr/src/uts/intel/io/vmm/io/vhpet.c
869
return (VVE_BAD_TIMER_CONFIG);
usr/src/uts/intel/io/vmm/io/vhpet.c
878
return (VVE_BAD_TIMER_CONFIG);