Searched refs:VKI_MIPS32_EF_CP0_EPC (Results 1 – 2 of 2) sorted by relevance
859 #define VKI_MIPS32_EF_CP0_EPC 40 macro
409 regs[VKI_MIPS32_EF_CP0_EPC] = arch->vex.guest_PC; in fill_prstatus()