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