[REFACTOR] Hafnium style fixes and other minor fixes.
Change-Id: I8f10a1d82f0de9efc43894a3a7cdd09bbbcfc6ec
diff --git a/src/cpu.c b/src/cpu.c
index 92d17fd..f8beed6 100644
--- a/src/cpu.c
+++ b/src/cpu.c
@@ -46,7 +46,7 @@
* TOCTOU issues while Hafnium performs actions on information that would
* otherwise be re-writable by the VM.
*
- * Each buffer is owned by a single cpu. The buffer can only be used for
+ * Each buffer is owned by a single CPU. The buffer can only be used for
* spci_msg_send. The information stored in the buffer is only valid during the
* spci_msg_send request is performed.
*/
@@ -158,7 +158,7 @@
}
/**
- * Searches for a CPU based on its id.
+ * Searches for a CPU based on its ID.
*/
struct cpu *cpu_find(cpu_id_t id)
{