RISCV_ISA_EXT_ZIHPM
__RISCV_ISA_EXT_DATA(zihpm, RISCV_ISA_EXT_ZIHPM),
set_bit(RISCV_ISA_EXT_ZIHPM, source_isa);