00001 #ifndef USERPROG_TSS_H 00002 //110666446 00003 #define USERPROG_TSS_H 00004 00005 #include <stdint.h> 00006 00007 struct tss; 00008 void tss_init (void); 00009 struct tss *tss_get (void); 00010 void tss_update (void); 00011 00012 #endif /* userprog/tss.h */
