Symbol: CTX2IOCTX
sys/x86/iommu/amd_ctx.c
557
iommu_device_tag_init(CTX2IOCTX(ctx), dev);
sys/x86/iommu/amd_ctx.c
607
return (CTX2IOCTX(ret));
sys/x86/iommu/intel_ctx.c
569
iommu_device_tag_init(CTX2IOCTX(ctx), dev);
sys/x86/iommu/intel_ctx.c
919
return (CTX2IOCTX(ret));