Searched refs:VVE_BAD_TIMER_CONFIG (Results 1 – 1 of 1) sorted by relevance
815 VVE_BAD_TIMER_CONFIG, enumerator857 return (VVE_BAD_TIMER_CONFIG); in vhpet_data_validate()866 return (VVE_BAD_TIMER_CONFIG); in vhpet_data_validate()