default or selected kernelversion does not have config value CONFIG_IOMMU_SVA_LIB.
Result is shown for kernelversion 6.9.9

CONFIG_IOMMU_SVA_LIB (not configurable)

modulename: iommu-sva-lib.ko

configname: CONFIG_IOMMU_SVA_LIB

Linux Kernel Configuration
└─>Device Drivers
└─>IOMMU Hardware Support
└─>IOMMU_SVA_LIB
In linux kernel since version 4.14.326 (release Date: 2023-09-23)  
source code:
drivers/iommu/
selects
CONFIG_IOASID