Searched refs:dte_v (Results 1 – 1 of 1) sorted by relevance
943 u16 dom_id, dte_v, irq_v; in copy_device_table() local1001 dte_v = old_devtb[devid].data[0] & DTE_FLAG_V; in copy_device_table()1003 if (dte_v && dom_id) { in copy_device_table()