../../mips32/include/ddi.h