From b21f84ef1bb9e9ba69bfea069295ad4618f671eb Mon Sep 17 00:00:00 2001 From: Samuel Thibault <samuel.thibault@ens-lyon.org> Date: Sun, 4 Apr 2021 16:47:38 +0200 Subject: SMP: Fix warnings --- ddb/db_mp.h | 3 +++ 1 file changed, 3 insertions(+) (limited to 'ddb/db_mp.h') diff --git a/ddb/db_mp.h b/ddb/db_mp.h index 722f28c7..b0d221ea 100644 --- a/ddb/db_mp.h +++ b/ddb/db_mp.h @@ -27,4 +27,7 @@ void unlock_db(void); void db_console(void); #endif /* CONSOLE_ON_MASTER */ +boolean_t db_enter(void); +void db_leave(void); + #endif /* _DDB_DB_MP_H_ */ -- cgit v1.2.3