Symbol: DAK_GETSLOT_LABEL
usr/src/uts/sun4u/daktari/os/daktari.c
557
char board = DAK_GETSLOT_LABEL(mcid);
usr/src/uts/sun4u/daktari/os/daktari.c
567
char board = DAK_GETSLOT_LABEL(cpuid);