Symbol: devctl_free_dei
sys/kern/kern_devctl.c
462
devctl_free_dei(dei); /* overflow -> drop it */
sys/kern/kern_devctl.c
537
devctl_free_dei(dei);