acpi_resource_print
acpi_resource_print(dev, res);
void acpi_resource_print(device_t, struct acpi_resources *);