Symbol: acpi_cpu_alloc_resource
sys/dev/acpica/acpi_cpu.c
53
acpi_cpu_alloc_resource(device_t, device_t,
sys/dev/acpica/acpi_cpu.c
80
DEVMETHOD(bus_alloc_resource, acpi_cpu_alloc_resource),