Rev 1888 | Rev 2089 | 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); |