KVM: ppc: adjust vcpu types to support 64-bit cores
[safe/jmp/linux-2.6] / arch / powerpc / kvm /
drwxr-xr-x   ..
-rw-r--r-- 5898 44x.c
-rw-r--r-- 8518 44x_emulate.c
-rw-r--r-- 10615 44x_tlb.c
-rw-r--r-- 3007 44x_tlb.h
-rw-r--r-- 1285 Kconfig
-rw-r--r-- 502 Makefile
-rw-r--r-- 17690 booke.c
-rw-r--r-- 1229 booke.h
-rw-r--r-- 12153 booke_interrupts.S
-rw-r--r-- 10962 emulate.c
-rw-r--r-- 9853 powerpc.c