static void vnex_probe_nomatch(device_t dev, device_t child) { const char *type; device_printf(dev, "<%s>", mdesc_bus_get_name(child)); vnex_print_res(device_get_ivars(child)); type = mdesc_bus_get_type(child); printf(" type %s (no driver attached)\n", type != NULL ? type : "unknown"); }
static int hvcn_dev_probe(device_t dev) { if (strcmp(mdesc_bus_get_name(dev), "console")) return (ENXIO); device_set_desc(dev, "sun4v virtual console"); return (0); }