pvclock_wall_clock   12 arch/x86/include/asm/pvclock.h void pvclock_read_wallclock(struct pvclock_wall_clock *wall,
pvclock_wall_clock  577 include/xen/interface/xen.h 	struct pvclock_wall_clock wc;