|
@@ -140,27 +140,3 @@ void pvclock_read_wallclock(struct pvclock_wall_clock *wall_clock,
|
|
|
|
|
|
set_normalized_timespec(ts, now.tv_sec, now.tv_nsec);
|
|
|
}
|
|
|
-
|
|
|
-#ifdef CONFIG_X86_64
|
|
|
-/*
|
|
|
- * Initialize the generic pvclock vsyscall state. This will allocate
|
|
|
- * a/some page(s) for the per-vcpu pvclock information, set up a
|
|
|
- * fixmap mapping for the page(s)
|
|
|
- */
|
|
|
-
|
|
|
-int __init pvclock_init_vsyscall(struct pvclock_vsyscall_time_info *i,
|
|
|
- int size)
|
|
|
-{
|
|
|
- int idx;
|
|
|
-
|
|
|
- WARN_ON (size != PVCLOCK_VSYSCALL_NR_PAGES*PAGE_SIZE);
|
|
|
-
|
|
|
- for (idx = 0; idx <= (PVCLOCK_FIXMAP_END-PVCLOCK_FIXMAP_BEGIN); idx++) {
|
|
|
- __set_fixmap(PVCLOCK_FIXMAP_BEGIN + idx,
|
|
|
- __pa(i) + (idx*PAGE_SIZE),
|
|
|
- PAGE_KERNEL_VVAR);
|
|
|
- }
|
|
|
-
|
|
|
- return 0;
|
|
|
-}
|
|
|
-#endif
|