Searched defs:cpu_apicid_array (Results 1 – 2 of 2) sorted by relevance
2357 uint32_t *cpu_possible_countp, uint32_t *cpu_apicid_array) in process_madt_entries() argument 2416 uint32_t *cpu_apicid_array; /* x2APIC ID is 32bit! */ in process_madt() local [all...]
2567 uint32_t *cpu_apicid_array; in lgrp_plat_process_cpu_apicids() local