Symbol: __pvclock_clocksource_read
arch/x86/kernel/pvclock.c
115
return __pvclock_clocksource_read(src, true);
arch/x86/kernel/pvclock.c
120
return __pvclock_clocksource_read(src, false);