|
@@ -554,7 +554,7 @@ static void init_vmcb(struct vmcb *vmcb)
|
|
|
* cr0 val on cpu init should be 0x60000010, we enable cpu
|
|
|
* cache by default. the orderly way is to enable cache in bios.
|
|
|
*/
|
|
|
- save->cr0 = 0x00000010 | CR0_PG_MASK;
|
|
|
+ save->cr0 = 0x00000010 | CR0_PG_MASK | CR0_WP_MASK;
|
|
|
save->cr4 = CR4_PAE_MASK;
|
|
|
/* rdx = ?? */
|
|
|
}
|