Symbol: CAP_RWBF
sys/dev/acpi/acpidmar.c
1330
if (!(iommu->cap & CAP_RWBF))
sys/dev/acpi/acpidmar.c
1900
iommu->cap & CAP_RWBF ? "rwbf " : "", /* write-buffer flush */