V4L/DVB (10149): ttusb-budget: make it depend on PCI
[linux-2.6/mini2440.git] / arch / powerpc / kvm / 
tree47c5e9bbf2b6c1e0cc9c2e75fdc6c5124e83b5e8
drwxr-xr-x   ..
-rw-r--r-- 6828 44x_tlb.c
-rw-r--r-- 2504 44x_tlb.h
-rw-r--r-- 1415 Kconfig
-rw-r--r-- 507 Makefile
-rw-r--r-- 16767 booke_guest.c
-rw-r--r-- 2580 booke_host.c
-rw-r--r-- 12099 booke_interrupts.S
-rw-r--r-- 20871 emulate.c
-rw-r--r-- 12394 powerpc.c