Lines Matching refs:uint64_t
109 uint64_t stack[16]; /* Space for a 64-bit frame and some */
110 uint64_t top; /* Top and pointer to ISS in PCS */
116 uint64_t rsp0; /* stack pointer for CPL0 */
117 uint64_t rsp1; /* stack pointer for CPL1 */
118 uint64_t rsp2; /* stack pointer for CPL2 */
121 uint64_t ist1; /* interrupt stack table 1 */
122 uint64_t ist2; /* interrupt stack table 2 */
123 uint64_t ist3; /* interrupt stack table 3 */
124 uint64_t ist4; /* interrupt stack table 4 */
125 uint64_t ist5; /* interrupt stack table 5 */
126 uint64_t ist6; /* interrupt stack table 6 */
127 uint64_t ist7; /* interrupt stack table 7 */