Module Xen_gnt_unix.Gnt_dummy