pvclock_wall_clock
struct pvclock_wall_clock *pvclock_wc;
if (!vmm_gpa_is_valid(vcpu, gpa, sizeof(struct pvclock_wall_clock)))
if ((gpa & PAGE_MASK) + sizeof(struct pvclock_wall_clock) > PAGE_SIZE)
struct pvclock_wall_clock *wc = &sc->sc_page->wc;
struct pvclock_wall_clock wc;