Symbol: riscv_intc_domain_map