Let's use infrastructure we have available instead of an open-coded
wbinvd() invocation.
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Paul Durrant <paul@xen.org>
Reviewed-by: Kevin Tian <kevin.tian@intel.com>
struct pci_dev *pdev,
u16 did, u16 size, u64 addr);
-void flush_all_cache(void);
-
uint64_t alloc_pgtable_maddr(unsigned long npages, nodeid_t node);
void free_pgtable_maddr(u64 maddr);
void *map_vtd_domain_page(u64 maddr);
bool_t flush_dev_iotlb;
int rc = 0;
- flush_all_cache();
+ flush_local(FLUSH_CACHE);
+
for_each_drhd_unit ( drhd )
{
int context_rc, iotlb_rc;
{
unmap_domain_page(va);
}
-
-void flush_all_cache()
-{
- wbinvd();
-}