Searched defs:vki_xen_domctl_cacheflush (Results 1 – 1 of 1) sorted by relevance
490 struct vki_xen_domctl_cacheflush { struct492 vki_xen_pfn_t start_pfn, nr_pfns;