linux_old1/drivers/xen/xenfs/xenfs.h