Symbol: p4tcc_identify
sys/x86/cpufreq/p4tcc.c
72
static void p4tcc_identify(driver_t *driver, device_t parent);
sys/x86/cpufreq/p4tcc.c
84
DEVMETHOD(device_identify, p4tcc_identify),