Searched refs:dte_base (Results 1 – 1 of 1) sorted by relevance
400 dev_entry_t *gdte, *mdte, *dte_base; in do_invalidate_dte() local426 dte_base = map_domain_page(_mfn(dte_mfn)); in do_invalidate_dte()428 gdte = dte_base + gbdf % (PAGE_SIZE / sizeof(dev_entry_t)); in do_invalidate_dte()435 unmap_domain_page(dte_base); in do_invalidate_dte()
Completed in 4 milliseconds