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