Rev 347 | 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 | ||