acpi_wmi_childdet
static void acpi_wmi_childdet(device_t, device_t);
acpi_wmi_rescan, acpi_wmi_childdet);