pintos-os.org Git - pintos-anon/blob - src/threads/flags.h

   1 #ifndef THREADS_FLAGS_H
   2 #define THREADS_FLAGS_H 1
   3
   4 /* EFLAGS Register. */
   5 #define FLAG_MBS  0x00000002    /* Must be set. */
   6 #define FLAG_IF   0x00000200    /* Interrupt Flag. */
   7
   8 #endif /* threads/flags.h */