- dd 0x00000000, 0x0020FA00 ; 0x18: 64-bit User Code
- dd 0x00000000, 0x0000F200 ; 0x20: 64-bit User Data
- dd 0x00000000, 0x0040FA00 ; 0x28: 32-bit User Code
- dd 0x00000000, 0x0040F200 ; 0x30: 32-bit User Data
+ 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)