Lines Matching refs:x1
38 str x0, [x1, #CONSOLE_T_BASE]
40 str w2, [x1, #CONSOLE_T_CBMC_SIZE]
41 mov x0, x1
56 ldr w2, [x1, #CONSOLE_T_CBMC_SIZE]
57 ldr x1, [x1, #CONSOLE_T_BASE]
58 add x1, x1, #8 /* keep address of body in x1 */
60 ldr w16, [x1, #-4] /* load cursor (one u32 before body) */
70 strb w0, [x1, w16, uxtw] /* body[cursor] = character */
80 str w16, [x1, #-4] /* write back cursor to memory */
94 ldr x1, [x0, #CONSOLE_T_CBMC_SIZE]
96 add x1, x1, #8 /* add size of console header */