Eliminate vm_set_current.
It is a potential source of bugs if we forget to call it, and is
leftover from when hafnium had a scheduler.
Change-Id: I1ce07302ea4c40578fde43a4277b628abf3e4918
diff --git a/src/main.c b/src/main.c
index db191a8..eb233d9 100644
--- a/src/main.c
+++ b/src/main.c
@@ -130,7 +130,6 @@
*/
struct vcpu *cpu_main(struct cpu *c)
{
- struct vm *primary;
struct vcpu *vcpu;
/*
@@ -149,10 +148,7 @@
panic("mm_cpu_init failed");
}
- primary = vm_get(HF_PRIMARY_VM_ID);
- vm_set_current(primary);
-
- vcpu = &primary->vcpus[cpu_index(c)];
+ vcpu = &vm_get(HF_PRIMARY_VM_ID)->vcpus[cpu_index(c)];
vcpu->cpu = c;
return vcpu;
}