pvclock_vcpu_time_info
static __always_inline struct pvclock_vcpu_time_info *this_cpu_pvti(void)
u64 pvclock_clocksource_read(struct pvclock_vcpu_time_info *src);
u64 pvclock_clocksource_read_nowd(struct pvclock_vcpu_time_info *src);
u8 pvclock_read_flags(struct pvclock_vcpu_time_info *src);
unsigned long pvclock_tsc_khz(struct pvclock_vcpu_time_info *src);
struct pvclock_vcpu_time_info *vcpu,
unsigned pvclock_read_begin(const struct pvclock_vcpu_time_info *src)
bool pvclock_read_retry(const struct pvclock_vcpu_time_info *src,
u64 __pvclock_read_cycles(const struct pvclock_vcpu_time_info *src, u64 tsc)
struct pvclock_vcpu_time_info pvti;
const struct pvclock_vcpu_time_info *pvti = &pvclock_page.pvti;
sizeof(((struct pvclock_vcpu_time_info *)NULL)->system_time));
u64 pvclock_clocksource_read(struct pvclock_vcpu_time_info *src)
noinstr u64 pvclock_clocksource_read_nowd(struct pvclock_vcpu_time_info *src)
struct pvclock_vcpu_time_info *vcpu_time,
unsigned long pvclock_tsc_khz(struct pvclock_vcpu_time_info *src)
u8 pvclock_read_flags(struct pvclock_vcpu_time_info *src)
u64 __pvclock_clocksource_read(struct pvclock_vcpu_time_info *src, bool dowd)
static bool compute_tsc_page_parameters(struct pvclock_vcpu_time_info *hv_clock,
struct pvclock_vcpu_time_info *hv_clock)
struct pvclock_vcpu_time_info *hv_clock);
struct pvclock_vcpu_time_info *hv_clock) {}
TP_PROTO(unsigned int vcpu_id, struct pvclock_vcpu_time_info *pvclock),
sizeof(struct pvclock_vcpu_time_info));
struct pvclock_vcpu_time_info hv_clock;
static void kvm_setup_guest_pvclock(struct pvclock_vcpu_time_info *ref_hv_clock,
struct pvclock_vcpu_time_info *guest_hv_clock;
struct pvclock_vcpu_time_info hv_clock;
struct pvclock_vcpu_time_info hv_clock = {};
struct pvclock_vcpu_time_info hv_clock;
struct pvclock_vcpu_time_info *hv_clock,
struct pvclock_vcpu_time_info hv_clock;
BUILD_BUG_ON(offsetof(struct pvclock_vcpu_time_info, version) != 0);
sizeof(struct pvclock_vcpu_time_info));
struct pvclock_vcpu_time_info time;
struct pvclock_vcpu_time_info *info =
struct pvclock_vcpu_time_info *src;
struct pvclock_vcpu_time_info *pvti;
struct pvclock_vcpu_time_info *src;
struct pvclock_vcpu_time_info *vcpu_time;
struct pvclock_vcpu_time_info *src;
struct pvclock_vcpu_time_info *pvti = this_cpu_pvti();
struct pvclock_vcpu_time_info *v;
struct pvclock_vcpu_time_info time;
u8 pvclock_read_flags(struct pvclock_vcpu_time_info *src);
unsigned long pvclock_tsc_khz(struct pvclock_vcpu_time_info *src);
unsigned pvclock_read_begin(const struct pvclock_vcpu_time_info *src)
bool pvclock_read_retry(const struct pvclock_vcpu_time_info *src,
u64 __pvclock_read_cycles(const struct pvclock_vcpu_time_info *src, u64 tsc)
struct pvclock_vcpu_time_info pvti;
u64 pvclock_clocksource_read(struct pvclock_vcpu_time_info *src);
static void guest_main(vm_paddr_t pvti_pa, struct pvclock_vcpu_time_info *pvti)
struct pvclock_vcpu_time_info time;
struct pvclock_vcpu_time_info *ti, *ti2;