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