pvclock_time_info
sizeof(struct pvclock_time_info))) {
if ((pvclock_gpa & PAGE_MASK) + sizeof(struct pvclock_time_info) >
struct pvclock_time_info *pvclock_ti;
pvclock_read_begin(const struct pvclock_time_info *);
pvclock_read_done(const struct pvclock_time_info *, uint32_t);
struct pvclock_time_info *ti;
pvclock_read_begin(const struct pvclock_time_info *ti)
pvclock_read_done(const struct pvclock_time_info *ti,
struct pvclock_time_info *ti;
struct pvclock_time_info ti;