Rev 1888 | Rev 2071 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1888 | Rev 1901 | ||
|---|---|---|---|
| Line 82... | Line 82... | ||
| 82 | int bus_entry_cnt = 0; |
82 | int bus_entry_cnt = 0; |
| 83 | int io_apic_entry_cnt = 0; |
83 | int io_apic_entry_cnt = 0; |
| 84 | int io_intr_entry_cnt = 0; |
84 | int io_intr_entry_cnt = 0; |
| 85 | int l_intr_entry_cnt = 0; |
85 | int l_intr_entry_cnt = 0; |
| 86 | 86 | ||
| 87 | waitq_t ap_completion_wq; |
- | |
| 88 | - | ||
| 89 | /* |
87 | /* |
| 90 | * Implementation of IA-32 SMP configuration interface. |
88 | * Implementation of IA-32 SMP configuration interface. |
| 91 | */ |
89 | */ |
| 92 | static count_t get_cpu_count(void); |
90 | static count_t get_cpu_count(void); |
| 93 | static bool is_cpu_enabled(index_t i); |
91 | static bool is_cpu_enabled(index_t i); |