ufshci_ctrlr_destruct
ufshci_ctrlr_destruct(ctrlr, dev);
void ufshci_ctrlr_destruct(struct ufshci_controller *ctrlr, device_t dev);