+/*
+ * Temporary stack used on kernel entry via the sysenter instruction.
+ * Its top points on to the PCB save area. It must contain space for
+ * a single interrupt stack frame in case of single-stepping over the sysenter.
+ * Although this is defined as a 64-bit stack, the space is also used in
+ * 32-bit legacy mode. For 64-bit the stack is 16-byte aligned.
+ */
+struct sysenter_stack {
+ uint64_t stack[16]; /* Space for a 64-bit frame and some */
+ uint64_t top; /* Top and pointer to ISS in PCS */
+};
+
+struct x86_64_tss {
+ uint32_t reserved1;
+ uint64_t rsp0; /* stack pointer for CPL0 */
+ uint64_t rsp1; /* stack pointer for CPL1 */
+ uint64_t rsp2; /* stack pointer for CPL2 */
+ uint32_t reserved2;
+ uint32_t reserved3;
+ uint64_t ist1; /* interrupt stack table 1 */
+ uint64_t ist2; /* interrupt stack table 2 */
+ uint64_t ist3; /* interrupt stack table 3 */
+ uint64_t ist4; /* interrupt stack table 4 */
+ uint64_t ist5; /* interrupt stack table 5 */
+ uint64_t ist6; /* interrupt stack table 6 */
+ uint64_t ist7; /* interrupt stack table 7 */
+ uint32_t reserved4;
+ uint32_t reserved5;
+ uint16_t reserved6;
+ uint16_t io_bit_map_offset;
+ /* offset to IO permission bit map */
+};