Searched refs:apic_id_t (Results 1 – 1 of 1) sorted by relevance
48 typedef uint32_t apic_id_t; typedef112 static inline apic_id_t x86_apicid_from_topo_ids(X86CPUTopoInfo *topo_info, in x86_apicid_from_topo_ids()143 static inline void x86_topo_ids_from_apicid(apic_id_t apicid, in x86_topo_ids_from_apicid()163 static inline apic_id_t x86_apicid_from_cpu_idx(X86CPUTopoInfo *topo_info, in x86_apicid_from_cpu_idx()