CONFIG_PARAVIRT_CLOCK (not configurable)

modulename: pvclock.ko

configname: CONFIG_PARAVIRT_CLOCK

Linux Kernel Configuration
└─>Processor type and features
└─>Linux guest support
└─>PARAVIRT_CLOCK
In linux kernel since version 2.6.26 (release Date: 2008-07-13)  
source code:
arch/x86/kernel/pvclock.c

is depended by
CONFIG_XEN