Symbol: RB_UPDATE_AUGMENT
sys/dev/iommu/iommu_gas.c
675
RB_UPDATE_AUGMENT(entry, rb_entry);
sys/dev/iommu/iommu_gas.c
691
RB_UPDATE_AUGMENT(entry, rb_entry);