xen: set up mmu_ops before trying to set any ptes
[pandora-kernel.git] / tools /
drwxr-xr-x   ..
drwxr-xr-x - perf