Searched refs:get_domid_from_dte (Results 1 – 1 of 1) sorted by relevance
96 static uint16_t get_domid_from_dte(dev_entry_t *dte) in get_domid_from_dte() function430 gdom_id = get_domid_from_dte(gdte); in do_invalidate_dte()
Completed in 3 milliseconds