Searched refs:e_ddi_device_retired (Results 1 – 4 of 4) sorted by relevance
281 int e_ddi_device_retired(char *devpath);
404 e_ddi_device_retired(char *devpath) in e_ddi_device_retired() function
1001 if (e_ddi_device_retired(devpath)) { in modctl_retire()1075 if (e_ddi_device_retired(devpath)) in modctl_is_retired()1113 retired = e_ddi_device_retired(devpath); in modctl_unretire()
8684 if (e_ddi_device_retired(path) == 0) { in i_ddi_check_retire()