Searched refs:read_apic_id (Results 1 – 5 of 5) sorted by relevance
1349 if (read_apic_id() != boot_cpu_physical_apicid) { in __apic_intr_mode_select()1351 read_apic_id(), boot_cpu_physical_apicid); in __apic_intr_mode_select()1858 x2apic_id = read_apic_id(); in x2apic_disable()2120 boot_cpu_physical_apicid = read_apic_id(); in init_apic_mappings()2144 new_apicid = read_apic_id(); in init_apic_mappings()2168 boot_cpu_physical_apicid = read_apic_id(); in register_lapic_address()2458 disabled_cpu_apicid != read_apic_id() && in generic_processor_info()2550 return read_apic_id(); in hard_smp_processor_id()2632 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()
484 static inline unsigned int read_apic_id(void) in read_apic_id() function
