Lines Matching refs:uint64_t
64 uint64_t rsp0; /* privileged stacks */
65 uint64_t rsp1;
66 uint64_t rsp2;
70 uint64_t ist1; /* interrupt stacks */
71 uint64_t ist2;
72 uint64_t ist3;
73 uint64_t ist4;
74 uint64_t ist5;
75 uint64_t ist6;
76 uint64_t ist7;
106 uint64_t rsp;
107 uint64_t rbx;
108 uint64_t rbp;
109 uint64_t r12;
110 uint64_t r13;
111 uint64_t r14;
112 uint64_t r15;
113 uint64_t rip;
114 uint64_t rflags;
134 uint64_t ss;
135 uint64_t cs;
138 uint64_t rax;
139 uint64_t rcx;
140 uint64_t rdx;
141 uint64_t rsi;
142 uint64_t rdi;
143 uint64_t r8;
144 uint64_t r9;
145 uint64_t r10;
146 uint64_t r11;