/linux-user/host/x32/

• ../
• hostdep.h