dev_wired_cache_fini
dev_wired_cache_fini(cache);
void dev_wired_cache_fini(device_location_cache_t *dcp);