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().
1.8.17