Currently the pvclock pages aren't being added to user-space page
tables, and my attempt to fix this didn't work.
Signed-off-by: Ben Hutchings <ben@decadent.org.uk>
#include <linux/percpu.h>
#include <linux/hardirq.h>
#include <linux/memblock.h>
+#include <linux/kaiser.h>
#include <asm/x86_init.h>
#include <asm/reboot.h>
if (!hv_clock)
return 0;
+ /* FIXME: Need to add pvclock pages to user-space page tables */
+ if (kaiser_enabled)
+ return 0;
+
size = PAGE_ALIGN(sizeof(struct pvclock_vsyscall_time_info)*NR_CPUS);
preempt_disable();
*/
void __init kaiser_init(void)
{
- int cpu;
+ int cpu, idx;
kaiser_init_all_pgds();