Example #1
0
static int
nexus_print_child(device_t bus, device_t child)
{
	int rv;

	rv = bus_print_child_header(bus, child);
	rv += nexus_print_res(device_get_ivars(child));
	rv += bus_print_child_footer(bus, child);
	return (rv);
}
Example #2
0
static void
nexus_probe_nomatch(device_t bus, device_t child)
{
    const char *type;

    device_printf(bus, "<%s>", ofw_bus_get_name(child));
    nexus_print_res(device_get_ivars(child));
    type = ofw_bus_get_type(child);
    printf(" type %s (no driver attached)\n",
           type != NULL ? type : "unknown");
}