Clocksource using goldfish-rtc

modulename: timer-goldfish.ko

configname: CONFIG_GOLDFISH_TIMER

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>Clocksource using goldfish-rtc
In linux kernel since version 5.2 (release Date: 2019-07-07)  
Support for the timer/counter of goldfish-rtc

source code:

is depended by
CONFIG_VIRT