From e6e49020db0ed64783effc90b6f0dff2701ce5c6 Mon Sep 17 00:00:00 2001 From: Isaku Yamahata Date: Wed, 2 Apr 2008 10:53:53 -0700 Subject: [PATCH] --- yaml --- r: 93167 b: refs/heads/master c: 2724426924a471dc9fd8989dae56ab4d79519e34 h: refs/heads/master i: 93165: 84a06ce6b06c60cea77da5fb0cac345378dea7e8 93163: 8f71c0edc596cbcb7327340b6ac9998228497714 93159: d5a8cc6dfebebe3e2b134f9399ea6703bb3538e5 93151: 2d7bb73444e04953c05a27aa8bf874a58f53205d v: v3 --- [refs] | 2 +- trunk/include/xen/interface/vcpu.h | 5 +++++ 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/[refs] b/[refs] index 2b985ba837e1..c970de457feb 100644 --- a/[refs] +++ b/[refs] @@ -1,2 +1,2 @@ --- -refs/heads/master: 87e27cf6288c6bf089ed34a72213d9ad16e82d84 +refs/heads/master: 2724426924a471dc9fd8989dae56ab4d79519e34 diff --git a/trunk/include/xen/interface/vcpu.h b/trunk/include/xen/interface/vcpu.h index b05d8a6d9143..87e6f8a48661 100644 --- a/trunk/include/xen/interface/vcpu.h +++ b/trunk/include/xen/interface/vcpu.h @@ -85,6 +85,7 @@ struct vcpu_runstate_info { */ uint64_t time[4]; }; +DEFINE_GUEST_HANDLE_STRUCT(vcpu_runstate_info); /* VCPU is currently running on a physical CPU. */ #define RUNSTATE_running 0 @@ -119,6 +120,7 @@ struct vcpu_runstate_info { #define VCPUOP_register_runstate_memory_area 5 struct vcpu_register_runstate_memory_area { union { + GUEST_HANDLE(vcpu_runstate_info) h; struct vcpu_runstate_info *v; uint64_t p; } addr; @@ -134,6 +136,7 @@ struct vcpu_register_runstate_memory_area { struct vcpu_set_periodic_timer { uint64_t period_ns; }; +DEFINE_GUEST_HANDLE_STRUCT(vcpu_set_periodic_timer); /* * Set or stop a VCPU's single-shot timer. Every VCPU has one single-shot @@ -145,6 +148,7 @@ struct vcpu_set_singleshot_timer { uint64_t timeout_abs_ns; uint32_t flags; /* VCPU_SSHOTTMR_??? */ }; +DEFINE_GUEST_HANDLE_STRUCT(vcpu_set_singleshot_timer); /* Flags to VCPUOP_set_singleshot_timer. */ /* Require the timeout to be in the future (return -ETIME if it's passed). */ @@ -164,5 +168,6 @@ struct vcpu_register_vcpu_info { uint32_t offset; /* offset within page */ uint32_t rsvd; /* unused */ }; +DEFINE_GUEST_HANDLE_STRUCT(vcpu_register_vcpu_info); #endif /* __XEN_PUBLIC_VCPU_H__ */