|
@@ -29,6 +29,7 @@ bool xen_vcpu_stolen(int vcpu);
|
|
void xen_setup_runstate_info(int cpu);
|
|
void xen_setup_runstate_info(int cpu);
|
|
void xen_time_setup_guest(void);
|
|
void xen_time_setup_guest(void);
|
|
void xen_get_runstate_snapshot(struct vcpu_runstate_info *res);
|
|
void xen_get_runstate_snapshot(struct vcpu_runstate_info *res);
|
|
|
|
+u64 xen_steal_clock(int cpu);
|
|
|
|
|
|
int xen_setup_shutdown_event(void);
|
|
int xen_setup_shutdown_event(void);
|
|
|
|
|