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. |