Index: arch/ia64/src/ski/ski.c
===================================================================
--- arch/ia64/src/ski/ski.c	(revision 244f2842214f05788f7dcb3885f53a6a89cb90bb)
+++ arch/ia64/src/ski/ski.c	(revision eb436797a05ddb2e8f632c19f915e9e96978e088)
@@ -29,4 +29,9 @@
 #include <arch/ski/ski.h>
 
+/** Initialize debug console
+ *
+ * Issue SSC (Simulator System Call) to
+ * to open debug console.
+ */
 void ski_init_console(void)
 {
@@ -40,4 +45,11 @@
 }
 
+/** Display character on debug console
+ *
+ * Use SSC (Simulator System Call) to
+ * display character on debug console.
+ *
+ * @param ch   Character to be printed.
+ */
 void ski_putchar(const char ch)
 {