Symbol: plat_devpath
usr/src/uts/i86pc/io/consplat.c
208
if (plat_devpath("kb8042", kbpath) == NULL)
usr/src/uts/i86pc/io/consplat.c
422
if (plat_devpath("mouse8042", mpath) == NULL)