fix: few typos and verbosity
Change-Id: I604e6b74216f8fb4d1b679c0dec777fa8f15b185
Signed-off-by: Olivier Deprez <olivier.deprez@arm.com>
diff --git a/src/vcpu.c b/src/vcpu.c
index aba6449..87486f2 100644
--- a/src/vcpu.c
+++ b/src/vcpu.c
@@ -89,8 +89,8 @@
* Check whether the given vcpu_state is an off state, for the purpose of
* turning vCPUs on and off. Note that Aborted still counts as ON for the
* purposes of PSCI, because according to the PSCI specification (section
- * 5.7.1) a core is only considered to be off if it has been turned off
- * with a CPU_OFF call or hasn't yet been turned on with a CPU_ON call.
+ * 5.7.1) a core is only considered to be off if it has been turned off
+ * with a CPU_OFF call or hasn't yet been turned on with a CPU_ON call.
*/
bool vcpu_is_off(struct vcpu_locked vcpu)
{