2 files changed, 35 insertions, 34 deletions

diff --git a/payloads/libpayload/libc/readline.c b/payloads/libpayload/libc/readline.c
index 4faf3d7895..01a565a698 100644
--- a/payloads/libpayload/libc/readline.c
+++ b/payloads/libpayload/libc/readline.c
@@ -27,27 +27,27 @@
  * SUCH DAMAGE.
  */
 
-/** @file libc/readline.c
- * @brief Simple readline implementation
+/**
+ * @file libc/readline.c
+ * Simple readline implementation
  */
 
 #include <libpayload.h>
 
-static char * readline_buffer;
+static char *readline_buffer;
 static int readline_bufferlen;
 
 /**
- * @brief Read a line from the terminal and return it
- * @param prompt A prompt to display on the line
- * @return A pointer to the input string
+ * Read a line from the terminal and return it.
+ *
+ * This readline implementation is rather simple, but it does more than the
+ * original readline() because it allows us to have a pre-filled buffer.
+ * To pre-fill the buffer, use the getline() function.
  *
- * Read a line from the terminal and return it.  This readline implementation
- * is rather simple, but it does more than the original readline() because
- * it allows us to have a pre-filled buffer. To pre-fill the buffer, use the
- * getline() function.
+ * @param prompt A prompt to display on the line.
+ * @return A pointer to the input string.
  */
-
-char * readline(const char * prompt)
+char *readline(const char *prompt)
 {
 	char *buffer;
 	int current, ch, nonspace_seen;
@@ -141,7 +141,6 @@ char * readline(const char * prompt)
 		}
 	}
 
-
 out:
 	if (current >= readline_bufferlen)
 		current = readline_bufferlen - 1;
@@ -151,22 +150,23 @@ out:
 }
 
 /**
- * @brief Read a line from the input and store it in a buffer
- * @param prompt A buffer to store the line in
- * @param len Length of the buffer
- * @return The final length of the string
- * This function allows the user to pass a predefined buffer to
- * readline().  The buffer may be filled with a default value
- * which will be displayed by readline and can be edited as normal.
- * The final input string returned by readline will be returned in
+ * Read a line from the input and store it in a buffer.
+ *
+ * This function allows the user to pass a predefined buffer to readline().
+ * The buffer may be filled with a default value which will be displayed by
+ * readline() and can be edited as normal.
+ * The final input string returned by readline() will be returned in
  * the buffer and the function will return the length of the string.
+ *
+ * @param buffer Pointer to a buffer to store the line in.
+ * @param len Length of the buffer.
+ * @return The final length of the string.
  */
-
 int getline(char *buffer, int len)
 {
 	readline_buffer = buffer;
 	readline_bufferlen = len;
 	readline(NULL);
+
 	return strlen(buffer);
 }
-
diff --git a/payloads/libpayload/libc/time.c b/payloads/libpayload/libc/time.c
index b49879b9d8..b47e452e49 100644
--- a/payloads/libpayload/libc/time.c
+++ b/payloads/libpayload/libc/time.c
@@ -27,8 +27,9 @@
  * SUCH DAMAGE.
  */
 
-/** @file libc/time.c
- * @brief General Time Functions
+/**
+ * @file libc/time.c
+ * General time functions
  */
 
 #include <config.h>
@@ -115,18 +116,18 @@ static void gettimeofday_init(void)
 #endif
 
 /**
- * Return the current time broken into a timeval structure
- * @param tv A pointer to a timeval structure
- * @param tz Added for compatability - not used
- * @return 0 for success
+ * Return the current time broken into a timeval structure.
+ *
+ * @param tv A pointer to a timeval structure.
+ * @param tz Added for compatability - not used.
+ * @return 0 for success (this function cannot return non-zero currently).
  */
 int gettimeofday(struct timeval *tv, void *tz)
 {
-	/* Call the gtod init when we need it - this keeps
-	   the code from being included in the binary if we don't
-	   need it
-	*/
-
+	/*
+	 * Call the gtod init when we need it - this keeps the code from
+	 * being included in the binary if we don't need it.
+	 */
 	if (!clock.ticks)
 		gettimeofday_init();