From 01f52e73e156f13cf5a15ec5b66cd56f21963005 Mon Sep 17 00:00:00 2001
From: Naoki Hamada <nao@axe.bz>
Date: Wed, 23 Jul 2014 14:06:59 +0900
Subject: [PATCH] Clarification.

---
 executer/kernel/syscall.c | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/executer/kernel/syscall.c b/executer/kernel/syscall.c
index 3e77e6c8..a607df35 100644
--- a/executer/kernel/syscall.c
+++ b/executer/kernel/syscall.c
@@ -1158,6 +1158,14 @@ static void clear_pte_range(uintptr_t start, uintptr_t len)
 	return;
 }
 
+/**
+ * \brief Write out the core file image to a core file.
+ *
+ * \param os An ihk_os_t structure.
+ * \param rcoretable The physical address of remote's coretable.
+ * \param chunks The number of chunks which make a core file image in the whole.
+ */
+
 static int writecore(ihk_os_t os, unsigned long rcoretable, int chunks) {
 	struct file *file;
 	struct coretable *coretable;