dmar_ir_free_irte
return (dmar_ir_free_irte(unit, cookie));
return (dmar_ir_free_irte(unit, idx));
static int dmar_ir_free_irte(struct dmar_unit *unit, u_int cookie);