x24
__frame_regs x23, x24, \op, 5
stp x23, x24, [\ctxt, #CPU_XREG_OFFSET(23)]
ldp x23, x24, [\ctxt, #CPU_XREG_OFFSET(23)]
unsigned long x24;
gdb_regs[24] = cpu_context->x24;
REG_S x24, PT_S8(sp)
REG_L x24, PT_S8(sp)
PRINTSTR(x24);
{ u32 x23; u8/*bool*/ x24 = subborrow_u25(x21, x4, 0x1ffffff, &x23);
{ u32 x26; u8/*bool*/ x27 = subborrow_u26(x24, x6, 0x3ffffff, &x26);
{ u64 x24 = (0x2 * ((((u64)x6 * x8) + ((u64)x4 * x10)) + ((u64)x2 * x12)));
{ u64 x47 = (x24 + (x34 << 0x4));