Searched refs:lapic_id (Results 1 – 4 of 4) sorted by relevance
| /xnu-8020.101.4/osfmk/i386/ |
| H A D | mp_native.c | 42 void i386_start_cpu(int lapic_id, int cpu_num); 72 i386_start_cpu(int lapic_id, __unused int cpu_num ) in i386_start_cpu() argument 74 LAPIC_WRITE_ICR(lapic_id, LAPIC_ICR_DM_INIT); in i386_start_cpu() 76 LAPIC_WRITE_ICR(lapic_id, in i386_start_cpu()
|
| H A D | machine_routines.c | 511 uint32_t lapic_id, in register_cpu() argument 526 lapic_cpu_map(lapic_id, target_cpu); in register_cpu() 531 this_cpu_datap->cpu_phys_number = lapic_id; in register_cpu() 567 uint32_t lapic_id, in ml_processor_register() argument 579 DBG( "registering CPU lapic id %d\n", lapic_id ); in ml_processor_register() 581 return register_cpu( lapic_id, processor_out, boot_cpu ); in ml_processor_register() 597 cpunum = ml_get_cpuid( lapic_id ); in ml_processor_register() 600 panic( "trying to start invalid/unregistered CPU %d", lapic_id ); in ml_processor_register()
|
| H A D | machine_routines.h | 213 uint32_t lapic_id,
|
| H A D | mp.c | 188 void i386_start_cpu(int lapic_id, int cpu_num);
|