1 #include <u.h> 2 #include <libc.h> 3 4 #include "venti.h" 5 6 typedef uvlong u64int; 7 typedef uchar u8int; 8 typedef ushort u16int;