set_x_reg
set_x_reg(regs, xn, val);
set_x_reg(regs, xn, READ_ONCE(*(u64 *)load_addr));
set_x_reg(regs, xn, READ_ONCE(*(s32 *)load_addr));