pvclock_vcpu_stolen_time
struct pvclock_vcpu_stolen_time __rcu *kaddr;
struct pvclock_vcpu_stolen_time *kaddr = NULL;
struct pvclock_vcpu_stolen_time *kaddr = NULL;
struct pvclock_vcpu_stolen_time *kaddr = NULL;
sizeof(struct pvclock_vcpu_stolen_time),
u64 offset = offsetof(struct pvclock_vcpu_stolen_time, stolen_time);
struct pvclock_vcpu_stolen_time init_values = {};