Symbol: pvclock_read_time_info
sys/x86/x86/pvclock.c
138
pvclock_read_time_info(&pvc->timeinfos[curcpu], &now, &flags);
sys/x86/x86/pvclock.c
164
pvclock_read_time_info(ti, &now, &flags);
sys/x86/x86/pvclock.c
60
static void pvclock_read_time_info(