RISCV_ISA_EXT_ZIFENCEI
__RISCV_ISA_EXT_DATA(zifencei, RISCV_ISA_EXT_ZIFENCEI),
set_bit(RISCV_ISA_EXT_ZIFENCEI, source_isa);