Symbol: mach_kpm_init
usr/src/uts/sun4/os/startup.c
1977
mach_kpm_init();
usr/src/uts/sun4/os/startup.c
97
extern void mach_kpm_init(void);