Symbol: acpi_cpu_release_resource
sys/dev/acpica/acpi_cpu.c
55
static int acpi_cpu_release_resource(device_t, device_t,
sys/dev/acpica/acpi_cpu.c
81
DEVMETHOD(bus_release_resource, acpi_cpu_release_resource),