CONFIG_TIMER_PROBE (not configurable)
modulename: timer-probe.ko
configname: CONFIG_TIMER_PROBE
Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>TIMER_PROBE
