From: Ben Pfaff Date: Mon, 25 Aug 2008 03:50:49 +0000 (+0000) Subject: Improve comments. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=500278652b3d3ec6ba08c150e749b65ca4a5d208;p=pintos-anon Improve comments. Suggested by Godmar Back. --- diff --git a/src/devices/intq.c b/src/devices/intq.c index 028dca4..40b23ae 100644 --- a/src/devices/intq.c +++ b/src/devices/intq.c @@ -32,9 +32,8 @@ intq_full (const struct intq *q) } /* Removes a byte from Q and returns it. - Q must not be empty if called from an interrupt handler. - Otherwise, if Q is empty, first sleeps until a byte is - added. */ + If Q is empty, sleeps until a byte is added. + When called from an interrupt handler, Q must not be empty. */ uint8_t intq_getc (struct intq *q) { @@ -56,9 +55,8 @@ intq_getc (struct intq *q) } /* Adds BYTE to the end of Q. - Q must not be full if called from an interrupt handler. - Otherwise, if Q is full, first sleeps until a byte is - removed. */ + If Q is full, sleeps until a byte is removed. + When called from an interrupt handler, Q must not be full. */ void intq_putc (struct intq *q, uint8_t byte) {