#include <linux/kernel.h>
#include <linux/kernel_stat.h>
#include <linux/math64.h>
#include <linux/gfp.h>
#include <linux/slab.h>
#include <linux/static_call.h>
#include <asm/paravirt.h>
#include <asm/xen/hypervisor.h>
#include <asm/xen/hypercall.h>
#include <xen/events.h>
#include <xen/features.h>
#include <xen/interface/xen.h>
#include <xen/interface/vcpu.h>
#include <xen/xen-ops.h>
static DEFINE_PER_CPU(struct vcpu_runstate_info, xen_runstate);
static DEFINE_PER_CPU(u64[4], old_runstate_time);
static u64 get64(const u64 *p)
{ … }
static void xen_get_runstate_snapshot_cpu_delta(
struct vcpu_runstate_info *res, unsigned int cpu)
{ … }
static void xen_get_runstate_snapshot_cpu(struct vcpu_runstate_info *res,
unsigned int cpu)
{ … }
void xen_manage_runstate_time(int action)
{ … }
void xen_get_runstate_snapshot(struct vcpu_runstate_info *res)
{ … }
bool xen_vcpu_stolen(int vcpu)
{ … }
u64 xen_steal_clock(int cpu)
{ … }
void xen_setup_runstate_info(int cpu)
{ … }
void __init xen_time_setup_guest(void)
{ … }