2 * AcessOS Microkernel Version
8 #include <threads_int.h>
19 Uint32 EAX, ECX, EDX, EBX;
20 Uint32 ESP, EBP, ESI, EDI;
21 Uint32 ES, CS, DS, SS, FS, GS;
23 Uint16 Resvd, IOPB; // IO Permissions Bitmap
24 } __attribute__((packed)) tTSS;
26 #define USER_MAX KERNEL_BASE