# dump the file table list

define filedump
    set $xfp=(struct file *)filehead
    while ($xfp)
	if ($xfp->f_type == 1)
		set $xvp=(struct vnode *)$xfp->f_data
		printf "vnode: %x: flag=%d count=%d\n", $xfp, $xfp->f_flag, $xfp->f_count
	end
	set $xfp=$xfp->f_filef
    end
end
