Searched refs:nexusdev (Results 1 – 1 of 1) sorted by relevance
48 static device_t nexusdev; variable67 nexusdev = device_add_child(root_bus, "nexus", 0); in configure_first()