1 #ifndef XEN_PUBLIC_ARCH_X86_XEN_X86_64_H 2 #define XEN_PUBLIC_ARCH_X86_XEN_X86_64_H 11 #define FLAT_RING3_CS32 0xe023 12 #define FLAT_RING3_CS64 0xe033 13 #define FLAT_RING3_DS32 0xe02b 14 #define FLAT_RING3_DS64 0x0000 15 #define FLAT_RING3_SS32 0xe02b 16 #define FLAT_RING3_SS64 0xe02b 18 #define MACH2PHYS_VIRT_START 0xFFFF800000000000UL 21 #define VGCF_in_syscall 0x100 26 #define __DECL_REG_LOHI(which) union { \ 27 uint64_t r ## which ## x; \ 28 uint32_t e ## which ## x; \ 29 uint16_t which ## x; \ 35 #define __DECL_REG_LO8(name) union { \ 41 #define __DECL_REG_LO16(name) union { \ 46 #define __DECL_REG_HI(num) union { \ 48 uint32_t r ## num ## d; \ 49 uint16_t r ## num ## w; \ 50 uint8_t r ## num ## b; \ 84 #undef __DECL_REG_LOHI 86 #undef __DECL_REG_LO16 106 #define INIT_XEN_CALLBACK(_cs, _ip) (_ip)
uint8_t saved_upcall_mask
static unsigned long xen_pfn_to_cr3(unsigned long pfn)
static unsigned long xen_cr3_to_pfn(unsigned long cr3)
unsigned long xen_callback_t