5ecc88dc2f
makebootdev() sets not booted_device but booted_protocol, so test for that. |
||
---|---|---|
.. | ||
autoconf.c | ||
bus.c | ||
clock.c | ||
clockvar.h | ||
conf.c | ||
console.c | ||
cpu.c | ||
disksubr.c | ||
ip22_cache.S | ||
ip22.c | ||
ip32.c | ||
locore_machdep.S | ||
machdep.c | ||
mainbus.c | ||
procfs_machdep.c | ||
softintr.c |