diff options
| -rw-r--r-- | include/sys/debug.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/include/sys/debug.h b/include/sys/debug.h index cdb663d..60c6c54 100644 --- a/include/sys/debug.h +++ b/include/sys/debug.h @@ -131,7 +131,7 @@ int __dbg_detach(int); /* process creation/suspension/termination --> debug file descriptor */ int __dbg_spawn(const char *, char **, char **); -int __dbg_fork(); +int __dbg_fork(void); int __dbg_suspend(int); int __dbg_kill(int); @@ -143,15 +143,15 @@ int __dbg_kill(int); * in the 'all' case, the third argument specifies the number * of elements in the user-provided buffer. **/ -int __dbg_event_query_one(int,struct __dbg_event *); -int __dbg_event_query_all(int,struct __dbg_event[],int); +int __dbg_event_query_one(int, struct __dbg_event *); +int __dbg_event_query_all(int, struct __dbg_event[], int); /** * first acquire (remove from the queue) the next pending debug event; * later respond to the event, the default being __DBG_RESPONSE_CONTINUE. **/ -int __dbg_event_acquire(int,struct __dbg_event *); -int __dbg_event_respond(int,struct __dbg_event *); +int __dbg_event_acquire(int, struct __dbg_event *); +int __dbg_event_respond(int, struct __dbg_event *); /* debug file descriptor --> common (or system) pid */ int __dbg_query_cpid(int); |