device_pmf_driver_deregister
device_pmf_driver_deregister(dev);
void device_pmf_driver_deregister(device_t);