CONFIG_PARAVIRT_CLOCK (not configurable)
modulename: pvclock.ko
configname: CONFIG_PARAVIRT_CLOCK
Linux Kernel Configuration
└─>Processor type and features
└─>Linux guest support
└─>PARAVIRT_CLOCK