diff options
Diffstat (limited to 'xen/include/public/arch-x86_32.h')
-rw-r--r-- | xen/include/public/arch-x86_32.h | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/xen/include/public/arch-x86_32.h b/xen/include/public/arch-x86_32.h index 44bc8dd46f..eab800a7a5 100644 --- a/xen/include/public/arch-x86_32.h +++ b/xen/include/public/arch-x86_32.h @@ -136,9 +136,7 @@ typedef struct vcpu_guest_context { unsigned long ldt_base, ldt_ents; /* LDT (linear address, # ents) */ unsigned long gdt_frames[16], gdt_ents; /* GDT (machine frames, # ents) */ unsigned long kernel_ss, kernel_sp; /* Virtual TSS (only SS1/SP1) */ - unsigned long pt_base; /* CR3 (pagetable base) */ - unsigned long cr0; /* CR0 */ - unsigned long cr4; /* CR4 */ + unsigned long ctrlreg[8]; /* CR0-CR7 (control registers) */ unsigned long debugreg[8]; /* DB0-DB7 (debug registers) */ unsigned long event_callback_cs; /* CS:EIP of event callback */ unsigned long event_callback_eip; |