PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
threads
flags.h
Go to the documentation of this file.
1
#ifndef THREADS_FLAGS_H
2
#define THREADS_FLAGS_H
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 */
Generated on Thu Nov 4 2021 19:31:01 for PKUOS - Pintos by
1.9.2
1.9.2