/lib/ppc64/

• ../
• mmu.h
• processor.h