register_child_devices_acpi
status = register_child_devices_acpi(cookie);
extern status_t register_child_devices_acpi(void* cookie);