Lines Matching refs:irte
266 dmar_irte_t *irte; in dmar_ir_program_irte() local
271 irte = &(unit->irt[idx]); in dmar_ir_program_irte()
280 if ((irte->irte1 & DMAR_IRTE1_P) != 0) { in dmar_ir_program_irte()
287 KASSERT(irte->irte2 == high, in dmar_ir_program_irte()
288 ("irte2 mismatch, %jx %jx", (uintmax_t)irte->irte2, in dmar_ir_program_irte()
290 dmar_pte_update(&irte->irte1, low); in dmar_ir_program_irte()
292 dmar_pte_store(&irte->irte2, high); in dmar_ir_program_irte()
293 dmar_pte_store(&irte->irte1, low); in dmar_ir_program_irte()
303 dmar_irte_t *irte; in dmar_ir_free_irte() local
309 irte = &(unit->irt[cookie]); in dmar_ir_free_irte()
310 dmar_pte_clear(&irte->irte1); in dmar_ir_free_irte()
311 dmar_pte_clear(&irte->irte2); in dmar_ir_free_irte()