Symbol: DEVICE_NUMBER
usr/src/uts/common/io/myri10ge/drv/myri10ge.c
1085
*devno = DEVICE_NUMBER(rs);
usr/src/uts/common/io/myri10ge/drv/myri10ge.c
1097
printf(" Device number = %d.\n", DEVICE_NUMBER(rs));