Symbol: vcpu_time_info
include/xen/interface/vcpu.h
196
DEFINE_GUEST_HANDLE_STRUCT(vcpu_time_info);
include/xen/interface/vcpu.h
199
GUEST_HANDLE(vcpu_time_info) h;