2 * AcessOS Microkernel Version
17 Uint32 EAX, ECX, EDX, EBX;
18 Uint32 ESP, EBP, ESI, EDI;
19 Uint32 ES, CS, DS, SS, FS, GS;
21 Uint16 Resvd, IOPB; // IO Permissions Bitmap
22 } __attribute__((packed)) tTSS;
32 // 512 bytes, 16 byte aligned
33 typedef struct sSSEState
40 Uint32 UserCS, UserEIP;
45 #include <threads_int.h>
47 #define USER_MAX KERNEL_BASE