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;