diff options
| author | Damien Zammit <damien@zamaudio.com> | 2022-10-25 10:55:30 +0000 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2022-10-25 23:34:25 +0200 |
| commit | cf66707de840279ef80090f3f2362c0b0b67f583 (patch) | |
| tree | 296f86520f93f9e6501c61a0d4ad84db6a48c841 /ddb | |
| parent | e45542fbd6cbc0a815b0808f16cf4a8e87410f64 (diff) | |
| download | gnumach-cf66707de840279ef80090f3f2362c0b0b67f583.tar.gz gnumach-cf66707de840279ef80090f3f2362c0b0b67f583.tar.bz2 gnumach-cf66707de840279ef80090f3f2362c0b0b67f583.zip | |
kdb: Fix TODO for multiprocessor
Message-Id: <20221025105502.222708-2-damien@zamaudio.com>
Diffstat (limited to 'ddb')
| -rw-r--r-- | ddb/db_mp.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ddb/db_mp.h b/ddb/db_mp.h index b0d221ea..e32371d4 100644 --- a/ddb/db_mp.h +++ b/ddb/db_mp.h @@ -22,6 +22,7 @@ void remote_db(void); void lock_db(void); void unlock_db(void); +void db_on(int i); #if CONSOLE_ON_MASTER void db_console(void); |