Lines Matching full:uint64_t
39 uint64_t base;
45 uint64_t regs[16];
46 uint64_t eip;
47 uint64_t eflags;
55 uint64_t cr0;
56 uint64_t cr2;
57 uint64_t cr3;
58 uint64_t cr4;
59 uint64_t a20_mask;
62 uint64_t sysenter_cs;
63 uint64_t sysenter_esp;
64 uint64_t sysenter_eip;
65 uint64_t efer;
66 uint64_t star;
68 uint64_t lstar;
69 uint64_t cstar;
70 uint64_t fmask;
71 uint64_t kernelgsbase;
73 uint64_t tsc_offset;
75 uint64_t dr0;
76 uint64_t dr1;
77 uint64_t dr2;
78 uint64_t dr3;
79 uint64_t dr6;
80 uint64_t dr7;
87 uint64_t next_eip; /* next eip value when exiting with an interrupt */
107 uint64_t ram_size; /* must be multiple of 4 KB */
110 uint64_t *pages_to_flush; /* must be page aligned */
112 uint64_t *ram_pages_to_update; /* must be page aligned */
114 uint64_t *modified_ram_pages; /* must be page aligned */
124 uint64_t phys_addr; /* physical address range: phys_addr,
126 uint64_t size;
127 uint64_t ram_addr; /* corresponding ram address */
