/linux-user/host/ppc64/

• ../
• hostdep.h