Public Attributes | |
struct cpu ** | cpus |
uint64_t | startup_addr |
uint64_t | stack_addr |
uint64_t | pause_addr |
int * | n_pending_ipis |
int ** | ipi |
struct interrupt * | ipi_irq |
struct cpu** mp_data::cpus |
Definition at line 53 of file dev_mp.cc.
Referenced by DEVICE_ACCESS(), and DEVINIT().
int** mp_data::ipi |
Definition at line 60 of file dev_mp.cc.
Referenced by DEVICE_ACCESS(), and DEVINIT().
struct interrupt* mp_data::ipi_irq |
Definition at line 63 of file dev_mp.cc.
Referenced by DEVICE_ACCESS(), and DEVINIT().
int* mp_data::n_pending_ipis |
Definition at line 59 of file dev_mp.cc.
Referenced by DEVICE_ACCESS(), and DEVINIT().
uint64_t mp_data::pause_addr |
Definition at line 56 of file dev_mp.cc.
Referenced by DEVICE_ACCESS().
uint64_t mp_data::stack_addr |
Definition at line 55 of file dev_mp.cc.
Referenced by DEVICE_ACCESS(), and DEVINIT().
uint64_t mp_data::startup_addr |
Definition at line 54 of file dev_mp.cc.
Referenced by DEVICE_ACCESS(), and DEVINIT().