COMP 3500 Lecture Notes - Lecture 8: Virtual Memory, Root Directory

• School: Auburn University
• Department: Computer Sci & Software En
• Course: COMP 3500
• Professor: Xiao Qin

Document Summary

Note: the instructions below show you (1) how to use the debug() macro, and (2) how to configure the debug flags in the os/161 kernel. Please also refer to the lecture slides for details. Important export path=~/cs161/bin:: find the implementation of the debug() macro in kern/include/lib. h cd ~/cs161/src/kern/include vi lib. h. The above macro is equivalent to the following code: if (dbflag & (d) != 0) /* else do nothing */ kprintf(fmt, ##args): in lib. h you also can find a list of debug bit flags below. Each flag is used as the (cid:858)d(cid:859) para(cid:373)eter i(cid:374) debug(cid:894)d, f(cid:373)t, args, (cid:895). The above macro is equivalent to the following code: if (dbflag & (db_vm) != 0) kprintf(fmt, ##args); /* else do nothing *: you can configure debug messages using the dbflag variable defined in kern/lib/kprintf. c cd ~/cs161/src/kern/lib vi kprintf. c. If dbflags = 0, all the debug messages are disabled.