     pid tid name               prio STATE            code  data        stack
  114708   1 sbin/io-pkt-v4-hc   21o SIGWAITINFO      872K   17M  8192(516K)*
  114708   2 sbin/io-pkt-v4-hc   10o RECEIVE          872K   17M   28K(132K) 
  114708   3 sbin/io-pkt-v4-hc   21o RECEIVE          872K   17M  4096(132K) 
  114708   4 sbin/io-pkt-v4-hc   10o REPLY            872K   17M  4096(132K) 
            io-pkt-v4-hc       @ 8127000             4096      
            libc.so.3          @b0300000             452K   16K
            devnp-shim.so      @b8200000              28K  8192
            devn-e1000.so      @b8209000             120K  4096
            libc.so.2          @b8228000              40K   12K
            /dev/mem           @40100000 (       0)        132K
