dump device memory contents using devmem utility

dump_via_devmem.sh

#!/bin/bash

is_empty() {
    local a="`echo $1`"
    [ ."$a" == . ]
}

dump() {
    printf "\n\n%s\n" "$1"
    local n=$(($3 / 4))
    local i=0
    local j=0
    local v
    while [ $i -lt $n ] ; do
        v=`devmem $((0x$2 + i * 4)) 32`
        is_empty "$v" && v='????????'
        i=$((i+1))
        j=$((j+1))
        printf "%s " ${v#0x}
        [ $j == 8 ] && {
            echo
            j=0
        }
    done
}

dump "SDR UCG0" 01900000 $((16*1024))

#dump "SDR URB" 01910000 $((0x154))
dump "SDR URB  00-14" 01910000 $((0x18))
dump "SDR URB  20-98" 01910020 $((0x9C - 0x20))
dump "SDR URB  A0-A4" 019100A0 8