Searched refs:get_apic_id (Results 1 – 10 of 10) sorted by relevance
57 return physid_isset(get_apic_id(), in apic_id_registered()
574 u32 id = get_apic_id(); in self_nmi()583 printk("Triggering NMI on APIC ID %x\n", get_apic_id()); in do_nmi_trigger()
979 boot_cpu_physical_apicid = get_apic_id(); in init_apic_mappings()980 x86_cpu_to_apicid[0] = get_apic_id(); in init_apic_mappings()1473 boot_cpu_physical_apicid = get_apic_id(); in APIC_init_uniprocessor()
578 if ( get_apic_id() != boot_cpu_physical_apicid ) in machine_restart()
1115 boot_cpu_physical_apicid = get_apic_id(); in smp_prepare_cpus()1175 physid_set(get_apic_id(), phys_cpu_present_map); in smp_prepare_cpus()
792 boot_cpu_physical_apicid = get_apic_id(); in mp_register_lapic_address()
1357 SET_DEST(entry, physical, get_apic_id()); in disable_IO_APIC()1849 SET_DEST(entry1, physical, get_apic_id()); in unlock_ExtINT_logic()
147 static __inline u32 get_apic_id(void) /* Get the physical APIC id */ in get_apic_id() function
281 return _phys_pkg_id(get_apic_id(), index_msb); in phys_pkg_id()
1025 xcp->mc_clusterid = get_apic_id(); in do_mc_get_cpu_info()
Completed in 33 milliseconds