|
@@ -710,7 +710,7 @@ void __init get_smp_config (void)
|
|
* Read the physical hardware table. Anything here will
|
|
* Read the physical hardware table. Anything here will
|
|
* override the defaults.
|
|
* override the defaults.
|
|
*/
|
|
*/
|
|
- if (!smp_read_mpc((void *)mpf->mpf_physptr)) {
|
|
|
|
|
|
+ if (!smp_read_mpc(phys_to_virt(mpf->mpf_physptr))) {
|
|
smp_found_config = 0;
|
|
smp_found_config = 0;
|
|
printk(KERN_ERR "BIOS bug, MP table errors detected!...\n");
|
|
printk(KERN_ERR "BIOS bug, MP table errors detected!...\n");
|
|
printk(KERN_ERR "... disabling SMP support. (tell your hw vendor)\n");
|
|
printk(KERN_ERR "... disabling SMP support. (tell your hw vendor)\n");
|