Symbol: ctx_id_entry_init
sys/x86/iommu/intel_ctx.c
579
ctx_id_entry_init(ctx, ctxp, false, bus);
sys/x86/iommu/intel_ctx.c
689
ctx_id_entry_init(ctx, ctxp, true, PCI_BUSMAX + 100);