Apply clang-tidy fixups.
Change-Id: I5e68a28af54c8b9a1cebeeb71f2f8987d69a88a3
diff --git a/src/vm.c b/src/vm.c
index d2da22e..1eafb63 100644
--- a/src/vm.c
+++ b/src/vm.c
@@ -22,12 +22,11 @@
}
/* TODO: Shall we use index or id here? */
-void vm_start_vcpu(struct vm *vm, size_t index, ipaddr_t entry, size_t arg,
- bool is_primary)
+void vm_start_vcpu(struct vm *vm, size_t index, ipaddr_t entry, size_t arg)
{
struct vcpu *vcpu = vm->vcpus + index;
if (index < vm->vcpu_count) {
- arch_regs_init(&vcpu->regs, entry, arg, is_primary);
+ arch_regs_init(&vcpu->regs, entry, arg);
vcpu_on(vcpu);
}
}