BSETI - RISC-V instruction reference

bsetiSet bit by immediate 
Sets t1 to t2 with the bit numbered by the immediate set.
RISC-V manual: bseti 
Forms  bseti , ,   
Operands t1 Any integer register, x0 to x31, or its named alias, such as zero, t0 or t6. 
t2 An integer register. It may be the same register as t1. 
imm6 An unsigned shift count or bit number: 0 to 63 in RV64, or 0 to 31 in RV32. 
 .text
li t0, 9
# t0=9, immediate 2; bseti writes 13 to t2.
bseti t2, t0, 2