Fix builds without CONFIG_SEMAPHORE_DEBUG
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 10 Jan 2019 22:02:13 +0000 (17:02 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 10 Jan 2019 22:02:13 +0000 (17:02 -0500)
commit828f5ad57f415f00ea30c090ec834ed4eaaad8dd
treec1c94fb0f051da40e94d4a7723f13699c2e029b9
parentd6471cf56952dd44e4fa30bdf5df03141307a491
Fix builds without CONFIG_SEMAPHORE_DEBUG

Earlier, I moved to using empty C functions instead of macros for the
cases where we have debugging turned off.  However, I still had the
CVs/SEMs conditionally including the 'db' struct.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/include/kthread.h