Searched defs:arch_id (Results 1 – 5 of 5) sorted by relevance
24 uint64_t arch_id; member
113 int i, arch_id; in build_madt() local167 int i, arch_id, node_id; in build_srat() local
105 static CPUState *ipi_getcpu(int arch_id) in ipi_getcpu()
651 int arch_id = arch_ids->cpus[i].arch_id; in build_cpus_aml() local
121 uint64_t arch_id; member