tree c1c94fb0f051da40e94d4a7723f13699c2e029b9
parent d6471cf56952dd44e4fa30bdf5df03141307a491
author Barret Rhoden <brho@cs.berkeley.edu> 1547157733 -0500
committer Barret Rhoden <brho@cs.berkeley.edu> 1547157733 -0500

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>