/SPARTAN/trunk/arch/ia32/src/smp/mps.c |
---|
187,8 → 187,6 |
fs_found: |
printf("%P: MPS Floating Pointer Structure\n", fs); |
frame_not_free((__address) fs); |
if (fs->config_type == 0 && fs->configuration_table) { |
if (fs->mpfib2 >> 7) { |
printf("%s: PIC mode not supported\n", __FUNCTION__); |
196,7 → 194,6 |
} |
ct = (struct mps_ct *)PA2KA((__address)fs->configuration_table); |
frame_not_free((__address) ct); |
config.cpu_count = configure_via_ct(); |
} |
else |