Symbol: drmach_board_unassign
usr/src/uts/i86pc/io/acpi/drmach_acpi/drmach_acpi.c
2257
drmach_board_unassign(drmachid_t id)
usr/src/uts/sun4u/opl/io/drmach.c
1783
drmach_board_unassign(drmachid_t id)