Searched refs:vki_xen_gnttab_setup_table (Results 1 – 2 of 2) sorted by relevance
46 struct vki_xen_gnttab_setup_table { struct
550 struct vki_xen_gnttab_setup_table *gst = in PRE()551 (struct vki_xen_gnttab_setup_table*)ARG2; in PRE()1653 struct vki_xen_gnttab_setup_table *gst = in POST()1654 (struct vki_xen_gnttab_setup_table*)ARG2; in POST()