get_x_reg
u64 b_target = get_x_reg(regs, xn);
u64 r_target = get_x_reg(regs, xn);
(get_x_reg(regs, xn) == 0) : (get_w_reg(regs, xn) == 0);
(get_x_reg(regs, xn) != 0) : (get_w_reg(regs, xn) != 0);
return ((get_x_reg(regs, xn) >> bit_pos) & 0x1) == 0;
return ((get_x_reg(regs, xn) >> bit_pos) & 0x1) != 0;