tree 71ffd103a11b6511bbfb85970cf18f0049e5bf3f
parent 06e30cca8342aed6a1cd83de65d17945499ab6bb
author Dave Marchevsky <davemarchevsky@gmail.com> 1555692331 -0700
committer yonghong-song <ys114321@gmail.com> 1562796669 -0700

Use device+inode to identify matching files; prepend /proc/pid/root to
paths for usdt.