Searched refs:read_apic_id (Results 1 – 5 of 5) sorted by relevance
1343 if (read_apic_id() != boot_cpu_physical_apicid) { in __apic_intr_mode_select()1345 read_apic_id(), boot_cpu_physical_apicid); in __apic_intr_mode_select()1826 x2apic_id = read_apic_id(); in x2apic_disable()2080 boot_cpu_physical_apicid = read_apic_id(); in init_apic_mappings()2104 new_apicid = read_apic_id(); in init_apic_mappings()2128 boot_cpu_physical_apicid = read_apic_id(); in register_lapic_address()2418 disabled_cpu_apicid != read_apic_id() && in generic_processor_info()2510 return read_apic_id(); in hard_smp_processor_id()2582 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