ia64/xen-unstable
changeset 5571:ef4c824e3720
bitkeeper revision 1.1749 (42bbc434_aK0LSM1BC4FiLM_Xam_YA)
Merge arcadians.cl.cam.ac.uk:/auto/groups/xeno-xenod/BK/xen-unstable.bk
into arcadians.cl.cam.ac.uk:/local/scratch-2/vh249/unstable.bk
Merge arcadians.cl.cam.ac.uk:/auto/groups/xeno-xenod/BK/xen-unstable.bk
into arcadians.cl.cam.ac.uk:/local/scratch-2/vh249/unstable.bk
author | vh249@arcadians.cl.cam.ac.uk |
---|---|
date | Fri Jun 24 08:28:36 2005 +0000 (2005-06-24) |
parents | d7daa40eb8b0 a9eabb439f56 |
children | 200f5dfe9647 |
files | xen/include/public/arch-x86_64.h |
line diff
1.1 --- a/xen/include/public/arch-x86_64.h Fri Jun 24 08:16:13 2005 +0000 1.2 +++ b/xen/include/public/arch-x86_64.h Fri Jun 24 08:28:36 2005 +0000 1.3 @@ -187,6 +187,8 @@ typedef struct vcpu_guest_context { 1.4 unsigned long gdt_frames[16], gdt_ents; /* GDT (machine frames, # ents) */ 1.5 unsigned long kernel_ss, kernel_sp; /* Virtual TSS (only SS1/SP1) */ 1.6 unsigned long pt_base; /* CR3 (pagetable base) */ 1.7 + unsigned long cr0; /* CR0 */ 1.8 + unsigned long cr4; /* CR4 */ 1.9 unsigned long debugreg[8]; /* DB0-DB7 (debug registers) */ 1.10 unsigned long event_callback_eip; 1.11 unsigned long failsafe_callback_eip;