3 files changed, 6 insertions, 6 deletions
diff --git a/common/uapi/ipc.c b/common/uapi/ipc.c
index 0d79a92..c163c93 100644
--- a/common/uapi/ipc.c
+++ b/common/uapi/ipc.c
@@ -19,7 +19,7 @@ SYSCALL_DEFINE1(ipc_server)(sys_arg_t callback)
 SYSCALL_DEFINE3(ipc_req)(sys_arg_t pid, sys_arg_t d0, sys_arg_t d1)
 {
 	struct tcb *r = get_tcb(pid);
-	/* \todo: something like jump_to_callback(t) */
+	/** \todo something like jump_to_callback(t) */
 	/* remember difference between ipc_req and ipc_fwd! */
 	return (struct sys_ret){ d0, d1 };
 }
diff --git a/common/uapi/mem.c b/common/uapi/mem.c
index cc2818d..45480a9 100644
--- a/common/uapi/mem.c
+++ b/common/uapi/mem.c
@@ -48,7 +48,7 @@ SYSCALL_DEFINE3(req_pmem)(sys_arg_t paddr, sys_arg_t size, sys_arg_t flags)
 
 SYSCALL_DEFINE2(req_sharedmem)(sys_arg_t size, sys_arg_t flags)
 {
-	/* \todo: check that requester is server */
+	/** \todo check that requester is server */
 	struct tcb *t = cur_proc();
 	vm_t start = 0;
 	if ((start = alloc_shared_uvmem(t, size, flags)))
diff --git a/common/uapi/proc.c b/common/uapi/proc.c
index 604b862..2c1fe77 100644
--- a/common/uapi/proc.c
+++ b/common/uapi/proc.c
@@ -28,7 +28,7 @@ SYSCALL_DEFINE0(fork)(){
 }
 
 SYSCALL_DEFINE2(exec)(sys_arg_t bin, sys_arg_t interp){
-	/* \todo: execute new process, probably with more sensible argc passing */
+	/** \todo execute new process, probably with more sensible argc passing */
 	struct tcb *r = cur_tcb();
 
 	/* mark binary to be kept */
@@ -58,13 +58,13 @@ SYSCALL_DEFINE2(exec)(sys_arg_t bin, sys_arg_t interp){
 }
 
 SYSCALL_DEFINE2(signal)(sys_arg_t tid, sys_arg_t signal){
-	/* \todo: signals? */
+	/** \todo signals? */
 	return (struct sys_ret){ OK, 0 };
 }
 
 SYSCALL_DEFINE1(swap)(sys_arg_t tid){
-	/* \todo: switch to process */
-	/* \todo: should switch return the registers of the new thread that would
+	/** \todo switch to process */
+	/** \todo should switch return the registers of the new thread that would
 	 * be used for message passing? */
 	return (struct sys_ret){ OK, 0 };
 }