Searched refs:read_apic_id (Results 1 – 5 of 5) sorted by relevance
1353 if (read_apic_id() != boot_cpu_physical_apicid) { in __apic_intr_mode_select()1355 read_apic_id(), boot_cpu_physical_apicid); in __apic_intr_mode_select()1835 x2apic_id = read_apic_id(); in x2apic_disable()2089 boot_cpu_physical_apicid = read_apic_id(); in init_apic_mappings()2113 new_apicid = read_apic_id(); in init_apic_mappings()2137 boot_cpu_physical_apicid = read_apic_id(); in register_lapic_address()2427 disabled_cpu_apicid != read_apic_id() && in generic_processor_info()2519 return read_apic_id(); in hard_smp_processor_id()2601 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()
1424 u32 apic_id = read_apic_id(); in native_restore_boot_irq_mode()
486 static inline unsigned int read_apic_id(void) in read_apic_id() function