FreeBSD kernel list devices in kgdb

lsdev.gdb

define lsdev
        set $dev = bus_data_devices->tqh_first
        while ($dev != 0)
                printf "%-20s ", $dev->nameunit
                printf " %p", $dev->softc
                print "\n"
                set $dev = $dev->devlink.tqe_next
        end
end