Searched defs:cpu_apicid_array (Results 1 – 2 of 2) sorted by relevance
2229 uint32_t *cpu_possible_countp, uint32_t *cpu_apicid_array) in process_madt_entries()2288 uint32_t *cpu_apicid_array; /* x2APIC ID is 32bit! */ in process_madt() local
2567 uint32_t *cpu_apicid_array; in lgrp_plat_process_cpu_apicids() local