Symbol: ppm_redefine_topspeed
usr/src/uts/common/io/ppm/ppm.c
370
cpupm_redefine_topspeed = ppm_redefine_topspeed;
usr/src/uts/i86pc/sys/ppm_plat.h
52
extern void ppm_redefine_topspeed(void *);