root/sys/arch/hpcmips/stand/include/mips/int_fmtio.h 
#include "../../../../mips/include/int_fmtio.h"