vcpu_time_info 213 include/xen/interface/vcpu.h DEFINE_GUEST_HANDLE_STRUCT(vcpu_time_info); vcpu_time_info 216 include/xen/interface/vcpu.h GUEST_HANDLE(vcpu_time_info) h;