4 files changed, 4 insertions, 4 deletions
diff --git a/include/arch/cpu.h b/include/arch/cpu.h
index 763ebba..e63b90a 100644
--- a/include/arch/cpu.h
+++ b/include/arch/cpu.h
@@ -24,6 +24,6 @@
  */
 id_t cpu_id();
 
-/* TODO: add more cpu handling functions */
+/* \todo: add more cpu handling functions */
 
 #endif /* APOS_CPU_H */
diff --git a/include/arch/irq.h b/include/arch/irq.h
index 7c6a365..0c8ecf9 100644
--- a/include/arch/irq.h
+++ b/include/arch/irq.h
@@ -6,7 +6,7 @@
  * Arch-specific interrupt handling, generally implemented in
  * arch/whatever/kernel/irq.c
  *
- * @todo These should probably also be stat_t...
+ * \todo These should probably also be stat_t...
  */
 
 #if defined(riscv64)
diff --git a/include/arch/pmem.h b/include/arch/pmem.h
index 21a721a..5022b89 100644
--- a/include/arch/pmem.h
+++ b/include/arch/pmem.h
@@ -47,7 +47,7 @@
  * ...
  * @endcode
  *
- * @todo Move documentation into its own .md
+ * \todo Move documentation into its own .md
  *
  * @param fdt Global FDT pointer.
  * @param max_order Highest order pages the arch supports.
diff --git a/include/arch/proc.h b/include/arch/proc.h
index 9af44c9..7c6ad5b 100644
--- a/include/arch/proc.h
+++ b/include/arch/proc.h
@@ -14,7 +14,7 @@
 
 stat_t set_return(vm_t r);
 stat_t set_ipc(struct tcb *t, id_t pid, id_t tid);
-/*TODO: should this be in arch/tcb.h or something? */
+/*\todo: should this be in arch/tcb.h or something? */
 stat_t set_thread(struct tcb *t, vm_t stack);
 stat_t run_init(struct tcb *t, void *fdt);