Searched refs:lapic_index (Results 1 – 2 of 2) sorted by relevance
94 ml_get_cpuid(uint32_t lapic_index) in ml_get_cpuid() argument96 if (lapic_index >= (uint32_t)MAX_LAPICIDS) { in ml_get_cpuid()100 return (uint32_t)lapic_to_cpu[lapic_index]; in ml_get_cpuid()
273 extern uint32_t ml_get_cpuid(uint32_t lapic_index);