Symbol: iommu_db_print_ctx
sys/x86/iommu/iommu_utils.c
817
iommu_db_print_ctx(ctx);
sys/x86/iommu/x86_iommu.h
198
void iommu_db_print_ctx(struct iommu_ctx *ctx);