Searched refs:dte_v (Results 1 – 1 of 1) sorted by relevance
1097 u16 dom_id, dte_v, irq_v; in __copy_device_table() local1144 dte_v = old_devtb[devid].data[0] & DTE_FLAG_V; in __copy_device_table()1146 if (dte_v && dom_id) { in __copy_device_table()