Invent tid_t data type and use it in many places where we current use
[pintos-anon] / src / userprog / Makefile.vars
1 DEFINES = -DUSERPROG -DFILESYS
2 SUBDIRS = threads devices lib lib/kernel userprog filesys