Searched refs:read_apic_id (Results 1 – 5 of 5) sorted by relevance
1338 if (read_apic_id() != boot_cpu_physical_apicid) { in __apic_intr_mode_select()1340 read_apic_id(), boot_cpu_physical_apicid); in __apic_intr_mode_select()1820 x2apic_id = read_apic_id(); in x2apic_disable()2060 boot_cpu_physical_apicid = read_apic_id(); in init_apic_mappings()2084 new_apicid = read_apic_id(); in init_apic_mappings()2108 boot_cpu_physical_apicid = read_apic_id(); in register_lapic_address()2386 disabled_cpu_apicid != read_apic_id() && in generic_processor_info()2478 return read_apic_id(); in hard_smp_processor_id()2510 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()
1077 pr_info("... APIC ID: %08x (%01x)\n", v, read_apic_id()); in print_local_APIC()
1420 entry.dest = read_apic_id(); in native_restore_boot_irq_mode()
493 static inline unsigned int read_apic_id(void) in read_apic_id() function
