RISCV_ISA_EXT_ZICNTR
__RISCV_ISA_EXT_DATA(zicntr, RISCV_ISA_EXT_ZICNTR),
set_bit(RISCV_ISA_EXT_ZICNTR, source_isa);