Files in lib/xvfs/ of 2d9592486f3bc02b

Files in directory lib/xvfs of check-in 2d9592486f3bc02b