linux/include/xen/gntdev.h