pvclock_vsyscall_time_info
struct pvclock_vsyscall_time_info *pvti =
static inline struct pvclock_vsyscall_time_info *this_cpu_hvclock(void)
DECLARE_PER_CPU(struct pvclock_vsyscall_time_info *, hv_clock_per_cpu);
struct pvclock_vsyscall_time_info *pvclock_get_pvti_cpu0_va(void);
static inline struct pvclock_vsyscall_time_info *pvclock_get_pvti_cpu0_va(void)
#define PVTI_SIZE sizeof(struct pvclock_vsyscall_time_info)
void pvclock_set_pvti_cpu0_va(struct pvclock_vsyscall_time_info *pvti);
extern struct pvclock_vsyscall_time_info pvclock_page
struct pvclock_vsyscall_time_info *src = this_cpu_hvclock();
struct pvclock_vsyscall_time_info *src = this_cpu_hvclock();
struct pvclock_vsyscall_time_info *p = per_cpu(hv_clock_per_cpu, cpu);
(PAGE_SIZE / sizeof(struct pvclock_vsyscall_time_info))
static struct pvclock_vsyscall_time_info
static struct pvclock_vsyscall_time_info *hvclock_mem;
DEFINE_PER_CPU(struct pvclock_vsyscall_time_info *, hv_clock_per_cpu);
void pvclock_set_pvti_cpu0_va(struct pvclock_vsyscall_time_info *pvti)
struct pvclock_vsyscall_time_info *pvclock_get_pvti_cpu0_va(void)
static struct pvclock_vsyscall_time_info *pvti_cpu0_va __read_mostly;
static struct pvclock_vsyscall_time_info *xen_clock __read_mostly;
struct pvclock_vsyscall_time_info *ti;
ti = (struct pvclock_vsyscall_time_info *)get_zeroed_page(GFP_KERNEL);
#define PVTI_SIZE sizeof(struct pvclock_vsyscall_time_info)
void pvclock_set_pvti_cpu0_va(struct pvclock_vsyscall_time_info *pvti);
struct pvclock_vsyscall_time_info *pvclock_get_pvti_cpu0_va(void);
static inline struct pvclock_vsyscall_time_info *pvclock_get_pvti_cpu0_va(void)