Use "#var" rather than "@c var" for doxygen.

src/core/vsprintf.c

  * @ret	0		(if buf == NULL)
  * @err None
  *
- * If @c buf==NULL, then the string will be written to the console
+ * If #buf==NULL, then the string will be written to the console
  * directly using putchar().
  *
  */
  * @ret	0		(if buf == NULL)
  * @err None
  *
- * If @c buf==NULL, then the string will be written to the console
+ * If #buf==NULL, then the string will be written to the console
  * directly using putchar().
  *
  */

src/drivers/bus/isapnp.c

  * an ISAPnP device.
  *
  * External code (e.g. the ISAPnP ROM prefix) may already know the
- * read port address, in which case it can store it in @c
- * isapnp_read_port.  Note that setting the read port address in this
+ * read port address, in which case it can store it in
+ * #isapnp_read_port.  Note that setting the read port address in this
  * way will prevent further isolation from taking place; you should
  * set the read port address only if you know that devices have
  * already been allocated CSNs.
  * @ret None
  * @err None
  *
- * Resource data is read from the current location.  If @c buf is NULL,
+ * Resource data is read from the current location.  If #buf is NULL,
  * the data is discarded.
  *
  */
  *
  * Scan through the resource data until we find a particular tag, and
  * read its contents into a buffer.  It is the caller's responsibility
- * to ensure that @c buf is large enough to contain a tag of the
+ * to ensure that #buf is large enough to contain a tag of the
  * requested size.
  *
  */
 }
 
 /**
- * Increment a @c bus_loc structure to the next possible ISAPnP
+ * Increment a #bus_loc structure to the next possible ISAPnP
  * location.
  *
  * @v bus_loc		Bus location
- * @ret True		@c bus_loc contains a valid ISAPnP location
+ * @ret True		#bus_loc contains a valid ISAPnP location
  * @ret False		There are no more valid ISAPnP locations
  * @err None
  *
- * If there are no more valid locations, the @c bus_loc structure will
+ * If there are no more valid locations, the #bus_loc structure will
  * be zeroed.
  *
  */

src/include/buffer.h

 #ifndef BUFFER_H
 #define BUFFER_H
 
-#include "compiler.h"
+#include "compiler.h" /* for doxygen */
 #include "stdint.h"
 
 /** @file
 /**
  * A buffer
  *
- * @c start and @c end denote the real boundaries of the buffer, and
- * are physical addresses.  @c fill denotes the offset to the first
- * free block in the buffer.  (If the buffer is full, @c fill will
- * equal @c end-start.)
+ * #start and #end denote the real boundaries of the buffer, and are
+ * physical addresses.  #fill denotes the offset to the first free
+ * block in the buffer.  (If the buffer is full, #fill will equal
+ * #end-#start.)
  *
  */
 struct buffer {

src/include/compiler.h

 /** 
  * Declare a variable or data structure as unused.
  *
- * Note that using @c __unused on a static global variable (such as a
+ * Note that using #__unused on a static global variable (such as a
  * table structure as mentioned in tables.h) is necessary in order to
  * inhibit compiler warnings.
  *
  * Declare a function as used.
  *
  * Necessary only if the function is called only from assembler code.
- * You cannot use this attribute for static global variables; use @c
- * __unused instead.
+ * You cannot use this attribute for static global variables; use
+ * #__unused instead.
  *
  */
 #define __used __attribute__ (( used ))

src/include/tables.h

  *
  */
 
+#include "compiler.h" /* for doxygen */
+
 #define __table_str(x) #x
 #define __table_section(table,idx) \
 	__section__ ( ".tbl." __table_str(table) "." __table_str(idx) )