rmdev_schedule
static void rmdev_schedule(struct device_head *dh, char *name);
rmdev_schedule(&dtab, $1);