xen64: add extra pv_mmu_ops
[linux-2.6] / include / asm-x86 / mach-es7000 /
drwxr-xr-x   ..
-rw-r--r-- 4581 mach_apic.h
-rw-r--r-- 227 mach_apicdef.h
-rw-r--r-- 516 mach_ipi.h
-rw-r--r-- 697 mach_mpparse.h
-rw-r--r-- 1327 mach_wakecpu.h