kvm_gpc_refresh
if (kvm_gpc_refresh(gpc, offset + sizeof(*guest_hv_clock)))
r = kvm_gpc_refresh(gpc, offset + sizeof(*hv_clock));
rc = kvm_gpc_refresh(gpc, PAGE_SIZE);
if (kvm_gpc_refresh(gpc1, user_len1))
ret = kvm_gpc_refresh(gpc, PAGE_SIZE);
if (kvm_gpc_refresh(gpc, sizeof(struct vcpu_info)))
if (kvm_gpc_refresh(gpc, sizeof(struct vcpu_info))) {
int kvm_gpc_refresh(struct gfn_to_pfn_cache *gpc, unsigned long len);