Rev 347 | Rev 458 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 347 | Rev 368 | ||
---|---|---|---|
Line 185... | Line 185... | ||
185 | return; |
185 | return; |
186 | 186 | ||
187 | fs_found: |
187 | fs_found: |
188 | printf("%P: MPS Floating Pointer Structure\n", fs); |
188 | printf("%P: MPS Floating Pointer Structure\n", fs); |
189 | 189 | ||
190 | frame_not_free((__address) fs); |
- | |
191 | - | ||
192 | if (fs->config_type == 0 && fs->configuration_table) { |
190 | if (fs->config_type == 0 && fs->configuration_table) { |
193 | if (fs->mpfib2 >> 7) { |
191 | if (fs->mpfib2 >> 7) { |
194 | printf("%s: PIC mode not supported\n", __FUNCTION__); |
192 | printf("%s: PIC mode not supported\n", __FUNCTION__); |
195 | return; |
193 | return; |
196 | } |
194 | } |
197 | 195 | ||
198 | ct = (struct mps_ct *)PA2KA((__address)fs->configuration_table); |
196 | ct = (struct mps_ct *)PA2KA((__address)fs->configuration_table); |
199 | frame_not_free((__address) ct); |
- | |
200 | config.cpu_count = configure_via_ct(); |
197 | config.cpu_count = configure_via_ct(); |
201 | } |
198 | } |
202 | else |
199 | else |
203 | config.cpu_count = configure_via_default(fs->config_type); |
200 | config.cpu_count = configure_via_default(fs->config_type); |
204 | 201 |