/* Multiple 64 bit wide registers can be checked by calling gen_op_cp1_registers(freg1 | freg2 | ... | fregN);  */
static void check_cp1_registers(DisasContext *ctx, int regs)
/* Multiple 64 bit wide registers can be checked by calling gen_op_cp1_registers(freg1 | freg2 | ... | fregN);  */
static void check_cp1_registers(DisasContext *ctx, int regs)
{
    if (unlikely(!(ctx->hflags & MIPS_HFLAG_F64) && (regs & 1)))
        generate_exception(ctx, EXCP_RI);
}