compat_vcpu_info
offsetof(struct compat_vcpu_info, time));
struct compat_vcpu_info *vcpu_info = gpc->khva;
offsetof(struct compat_vcpu_info, time));
struct compat_vcpu_info *vi = gpc->khva;
offsetof(struct compat_vcpu_info, evtchn_upcall_pending));
sizeof_field(struct compat_vcpu_info, evtchn_upcall_pending));
sizeof(struct compat_vcpu_info));
offsetof(struct compat_vcpu_info, time));
struct compat_vcpu_info vcpu_info[MAX_VIRT_CPUS];