Symbol: device_rbtree_remove
drivers/iommu/intel/iommu.c
3316
device_rbtree_remove(info);
drivers/iommu/intel/iommu.c
3367
device_rbtree_remove(info);