65                                       const CPUArchIdList *arch_ids,  in riscv_acpi_madt_add_rintc()  argument
70     uint64_t hart_id = arch_ids->cpus[uid].arch_id;  in riscv_acpi_madt_add_rintc()
75     socket_id = arch_ids->cpus[uid].props.node_id;  in riscv_acpi_madt_add_rintc()
76     local_cpu_id = (arch_ids->cpus[uid].arch_id -  in riscv_acpi_madt_add_rintc()
94                                       arch_ids->cpus[uid].props.node_id,  in riscv_acpi_madt_add_rintc()
100                                       arch_ids->cpus[uid].props.node_id,  in riscv_acpi_madt_add_rintc()
122     const CPUArchIdList *arch_ids = mc->possible_cpu_arch_ids(ms);  in acpi_dsdt_add_cpus()  local
124     for (int i = 0; i < arch_ids->len; i++) {  in acpi_dsdt_add_cpus()
131                        aml_int(arch_ids->cpus[i].arch_id)));  in acpi_dsdt_add_cpus()
134             riscv_acpi_madt_add_rintc(i, arch_ids, madt_buf, s);  in acpi_dsdt_add_cpus()
285     const CPUArchIdList *arch_ids = mc->possible_cpu_arch_ids(ms);  in build_rhct()  local
389     for (int i = 0; i < arch_ids->len; i++) {  in build_rhct()
523     const CPUArchIdList *arch_ids = mc->possible_cpu_arch_ids(ms);  in build_madt()  local
549     for (int i = 0; i < arch_ids->len; i++) {  in build_madt()
550         riscv_acpi_madt_add_rintc(i, arch_ids, table_data, s);  in build_madt()