Searched refs:read_apic_id (Results 1 – 5 of 5) sorted by relevance
1344 if (read_apic_id() != boot_cpu_physical_apicid) { in __apic_intr_mode_select()1346 read_apic_id(), boot_cpu_physical_apicid); in __apic_intr_mode_select()1827 x2apic_id = read_apic_id(); in x2apic_disable()2081 boot_cpu_physical_apicid = read_apic_id(); in init_apic_mappings()2105 new_apicid = read_apic_id(); in init_apic_mappings()2129 boot_cpu_physical_apicid = read_apic_id(); in register_lapic_address()2419 disabled_cpu_apicid != read_apic_id() && in generic_processor_info()2511 return read_apic_id(); in hard_smp_processor_id()2583 boot_cpu_physical_apicid = read_apic_id(); in apic_bsp_up_setup()
35 return physid_isset(read_apic_id(), phys_cpu_present_map); in default_apic_id_registered()
1159 pr_info("... APIC ID: %08x (%01x)\n", v, read_apic_id()); in print_local_APIC()
1423 u32 apic_id = read_apic_id(); in native_restore_boot_irq_mode()
484 static inline unsigned int read_apic_id(void) in read_apic_id() function
Completed in 19 milliseconds