diff options
Diffstat (limited to 'ddb/db_mp.c')
| -rw-r--r-- | ddb/db_mp.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/ddb/db_mp.c b/ddb/db_mp.c index ae82c27d..8d1a5605 100644 --- a/ddb/db_mp.c +++ b/ddb/db_mp.c @@ -210,8 +210,7 @@ remote_db(void) { * switch to another cpu */ void -db_on(cpu) - int cpu; +db_on(int cpu) { /* * Save ddb global variables |