struct xen_cpu_user_regs user_regs
struct xen_trap_info trap_ctxt[256]
unsigned long debugreg[8]
unsigned int failsafe_callback_cs
struct xen_vcpu_guest_context::@36 fpu_ctxt
unsigned long syscall_callback_eip
unsigned int event_callback_cs
unsigned long failsafe_callback_eip
unsigned long event_callback_eip
unsigned long gdt_frames[16]