Symbol: drmach_board_dispose
usr/src/uts/i86pc/io/acpi/drmach_acpi/drmach_acpi.c
595
drmach_board_dispose(drmachid_t id)
usr/src/uts/sun4u/opl/io/drmach.c
1067
drmach_board_dispose(drmachid_t id)