Symbol: devmem_destroy
sys/dev/vmm/vmm_dev.c
112
static void devmem_destroy(void *arg);
sys/dev/vmm/vmm_dev.c
869
devmem_destroy(dsc);