4
#define X86_CR0_PE 0x00000001 /* Enable Protected Mode (RW) */
5
#define X86_CR0_PG 0x80000000 /* Paging (RW) */
6
#define BSD_PAGE_MASK (PAGE_SIZE-1)
7
#define PSL_T 0x00000100 /* trace enable bit */
27
unsigned long orig_rax;
33
unsigned long fs_base;
34
unsigned long gs_base;
41
#define SET_PT_REGS(pt, xc) \
60
pt.rflags = xc.rflags; \
69
#define SET_XC_REGS(pt, xc) \
88
xc.rflags = pt->rflags & 0xffffffff; \
111
long orig_eax; /* 44 */
114
long eflags; /* 56 */
119
#define SET_PT_REGS(pt, xc) \
130
pt.eflags = xc.eflags; \
139
#define SET_XC_REGS(pt, xc) \
150
xc.eflags = pt->eflags; \
160
void *map_domain_va_core(unsigned long domfd, int cpu, void *guest_va);
161
int xc_waitdomain_core(int xc_handle, int domain, int *status, int options);
162
vcpu_guest_context_any_t *xc_ptrace_get_vcpu_ctxt(unsigned int nr_cpus);
165
#endif /* XC_PTRACE */