21 #include <linux/slab.h>
23 #include <linux/export.h>
26 #include <asm/cputable.h>
27 #include <asm/tlbflush.h>
72 tlbe->
word1 = 0xef600000;
138 vcpu = &vcpu_44x->
vcpu;
144 if (!vcpu->
arch.shared)
175 static int __init kvmppc_44x_init(
void)
186 static void __exit kvmppc_44x_exit(
void)