Teach kdump a handy new trick: -p $pid selects the records of
[dragonfly.git] / sys / cpu /
drwxr-xr-x   ..
drwxr-xr-x - i386