acpi_rintc_index_to_hartid - Linux

Symbol: acpi_rintc_index_to_hartid

arch/riscv/include/asm/irq.h

unsigned long acpi_rintc_index_to_hartid(u32 index);

drivers/irqchip/irq-riscv-imsic-state.c

*hartid = acpi_rintc_index_to_hartid(index);