Symbol: cpuid_deadline_tsc_supported
usr/src/uts/i86pc/io/pcplusmp/apic_timer.c
125
cpuid_deadline_tsc_supported()) {
usr/src/uts/intel/sys/x86_archext.h
1850
extern int cpuid_deadline_tsc_supported(void);