Symbol: ipmmu_ctx_reg
drivers/iommu/ipmmu-vmsa.c
202
return ipmmu_read(mmu, ipmmu_ctx_reg(mmu, context_id, reg));
drivers/iommu/ipmmu-vmsa.c
208
ipmmu_write(mmu, ipmmu_ctx_reg(mmu, context_id, reg), data);