Searched refs:vki_xen_domctl_cacheflush (Results 1 – 1 of 1) sorted by relevance
452 struct vki_xen_domctl_cacheflush { struct532 struct vki_xen_domctl_cacheflush cacheflush;