Searched refs:irte2 (Results 1 – 2 of 2) sorted by relevance
287 KASSERT(irte->irte2 == high, in dmar_ir_program_irte()288 ("irte2 mismatch, %jx %jx", (uintmax_t)irte->irte2, in dmar_ir_program_irte()292 dmar_pte_store(&irte->irte2, high); in dmar_ir_program_irte()311 dmar_pte_clear(&irte->irte2); in dmar_ir_free_irte()
75 uint64_t irte2; member