Symbol: acpi_reprobe_children
sys/dev/acpica/acpi.c
145
static void acpi_reprobe_children(device_t bus, device_t *children,
sys/dev/acpica/acpi.c
1721
acpi_reprobe_children(bus, children, cnt);