Symbol: intsmb_release_resources
sys/dev/intpm/intpm.c
369
intsmb_release_resources(dev);
sys/dev/intpm/intpm.c
384
intsmb_release_resources(dev);