#include <u.h>
#include <libc.h>
#include <libsec.h>
#include <thread.h>

typedef uvlong	u64int;
typedef	uchar	u8int;
typedef ushort	u16int;

#include "venti.h"
#include "vac.h"
#include "fs.h"