CONFIG_TSM_REPORTS (not configurable)

modulename: tsm.ko

configname: CONFIG_TSM_REPORTS

Linux Kernel Configuration
└─>Device Drivers
└─>Virtualization drivers
└─>TSM_REPORTS
In linux kernel since version 4.14.330 (release Date: 2023-11-20)  
source code:
drivers/virt/coco/tsm.c