vcpu_set_singleshot_timer  260 arch/x86/xen/time.c 	struct vcpu_set_singleshot_timer single;
vcpu_set_singleshot_timer  157 include/xen/interface/vcpu.h DEFINE_GUEST_HANDLE_STRUCT(vcpu_set_singleshot_timer);