29 	/* Quad 1 */
30 	uint64_t present:1;
39 	/* Quad 1 */
40 	uint64_t present:1;
41 	uint64_t disable_fault_report:1;
48 	uint64_t __reserved_2:1;
55 	uint32_t present:1;
56 	uint32_t fault_disable:1;    /* Fault Processing Disable */
57 	uint32_t dest_mode:1;        /* Destination Mode */
58 	uint32_t redir_hint:1;       /* Redirection Hint */
59 	uint32_t trigger_mode:1;     /* Trigger Mode */
63 	uint32_t irte_mode:1;        /* IRTE Mode */
65 	uint32_t __reserved_1:8;     /* Reserved 1 */
116 	/* Major version >= 1 */  in vtd_dump_init_info()
117 	assert(((version >> 3) & 0xf) >= 1);  in vtd_dump_init_info()
137 	/* 0xf stands for table size (2^(0xf+1) == 65536) */  in vtd_setup_ir_table()
162 	if (level != 1) {  in vtd_install_pte()
197 		re->present = 1;  in vtd_map_range()
215 		ce->present = 1;  in vtd_map_range()
217 		ce->disable_fault_report = 1;  in vtd_map_range()
224 		/* TODO: currently we only map 4K pages (level = 1) */  in vtd_map_range()
227 		vtd_install_pte(slptptr, iova, pa, 1);  in vtd_map_range()
250 	irte->fault_disable = 1;  in vtd_setup_irte()
259 	irte->sid_vtype = 1;     /* full-sid verify */  in vtd_setup_irte()
260 	irte->present = 1;  in vtd_setup_irte()
265 	uint32_t handle_15:1;	 /* handle[15] */
266 	uint32_t shv:1;
267 	uint32_t interrupt_format:1;
283 	uint64_t index_15:1;
284 	uint64_t delivery_status:1;
285 	uint64_t polarity:1;
286 	uint64_t remote_irr:1;
287 	uint64_t trigger_mode:1;
288 	uint64_t mask:1;
290 	uint64_t interrupt_format:1;
316 	msi_addr.handle_15 = index >> 15 & 1;  in vtd_setup_msi()
318 	msi_addr.interrupt_format = 1;  in vtd_setup_msi()
347 	entry.index_15 = (index >> 15) & 1;  in vtd_setup_ioapic_irq()
348 	entry.interrupt_format = 1;  in vtd_setup_ioapic_irq()