venti: fix sync deadlock, add /proc stub
20 files changed