|
@@ -39,8 +39,6 @@ static int xen_suspend(void *data)
|
|
|
|
|
|
BUG_ON(!irqs_disabled());
|
|
BUG_ON(!irqs_disabled());
|
|
|
|
|
|
- load_cr3(swapper_pg_dir);
|
|
|
|
-
|
|
|
|
err = device_power_down(PMSG_SUSPEND);
|
|
err = device_power_down(PMSG_SUSPEND);
|
|
if (err) {
|
|
if (err) {
|
|
printk(KERN_ERR "xen_suspend: device_power_down failed: %d\n",
|
|
printk(KERN_ERR "xen_suspend: device_power_down failed: %d\n",
|