CTX2AMD
amdiommu_cmd_ensure(AMD2IOMMU(CTX2AMD(ctx)), 1);
amdiommu_cmd_emit(CTX2AMD(ctx), (struct amdiommu_cmd_generic *)&c);
amdiommu_qi_invalidate_wait_sync(AMD2IOMMU(CTX2AMD(ctx)));
amdiommu_qi_invalidate_wait_sync(AMD2IOMMU(CTX2AMD(ctx)));
CTX2AMD(ctx)->iommu.unit, dtep, (uintmax_t)(*(uint64_t *)dtep)));
return (&CTX2AMD(ctx)->dev_tbl[ctx->context.rid]);
unit = CTX2AMD(ctx);
unit = CTX2AMD(ctx);
unit = CTX2AMD(ctx);
unit = CTX2AMD(ctx);
if (ctx == NULL || !CTX2AMD(ctx)->irte_enabled) {