Data Fields | |
| count_t(* | cpu_count )(void) |
| bool(* | cpu_enabled )(index_t i) |
| bool(* | cpu_bootstrap )(index_t i) |
| __u8(* | cpu_apic_id )(index_t i) |
| int(* | irq_to_pin )(int irq) |
Definition at line 42 of file smp.h.
|
|
Return APIC ID of the processor of index i. |
|
|
Check whether the processor of index i is BSP. |
|
|
Return number of detected processors. |
|
|
Check whether the processor of index i is enabled. |
|
|
Return mapping between irq and APIC pin. |
1.4.6