From b7fac7ddca058791e01d381d60fb5d6fbdec5116 Mon Sep 17 00:00:00 2001 From: midipix Date: Thu, 6 Jun 2019 06:18:53 +0000 Subject: sys/debug.h: minor stylistic edits. --- include/sys/debug.h | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'include/sys') 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); -- cgit v1.2.3