Symbol: drvctl_fini
sys/kern/kern_drvctl.c
676
drvctl_fini();
sys/sys/device.h
541
void drvctl_fini(void);