- dd 0x00000000, 0x0020FA00 ; 0x18: 64-bit User Code
- dd 0x00000000, 0x0000F200 ; 0x20: 64-bit User Data
- dd 0x00000000, 0x0040FA00 ; 0x38: 32-bit User Code
- dd 0x00000000, 0x0040F200 ; 0x30: 32-bit User Data
- times MAX_CPUS dd 0, 0, 0, 0 ; 0x38+16*n: TSS 0
+ dd 0x00000000, 0x0040FA00 ; 0x18: 32-bit User Code
+ dd 0x00000000, 0x0040F200 ; 0x20: User Data
+ dd 0x00000000, 0x0020FA00 ; 0x28: 64-bit User Code
+ dd 0x00000000, 0x0000F200 ; 0x30: User Data (64 version)
+ times MAX_CPUS dd 0, 0x00008900, 0, 0 ; 0x38+16*n: TSS 0