commit b4881c5aa665b7196adba5bbd25b6f1a5346a335
author Andrew Walbran <qwandor@google.com> Tue Apr 16 18:28:28 2019 +0100
committer Andrew Walbran <qwandor@google.com> Fri Apr 26 18:28:36 2019 +0100
tree ee8d065a0622a05ab6d2068fdbe13e01e05278b5
parent 135dff3c538ddd6b2f7cb3af20a220172e7abaac

Remove unused vcpu_off function.

Change-Id: I64546b88ecc3e65071aa644751c49354b75ebd66

inc/hf/cpu.h

diff --git a/inc/hf/cpu.h b/inc/hf/cpu.h
index e516c1b..acad7ac 100644
--- a/inc/hf/cpu.h
+++ b/inc/hf/cpu.h
@@ -125,7 +125,6 @@
 
 void vcpu_init(struct vcpu *vcpu, struct vm *vm);
 void vcpu_on(struct vcpu *vcpu, ipaddr_t entry, uintreg_t arg);
-void vcpu_off(struct vcpu *vcpu);
 size_t vcpu_index(const struct vcpu *vcpu);
 
 bool vcpu_handle_page_fault(const struct vcpu *current,

src/cpu.c

diff --git a/src/cpu.c b/src/cpu.c
index 0d3e05c..56d76a4 100644
--- a/src/cpu.c
+++ b/src/cpu.c
@@ -175,13 +175,6 @@
 	sl_unlock(&vcpu->lock);
 }
 
-void vcpu_off(struct vcpu *vcpu)
-{
-	sl_lock(&vcpu->lock);
-	vcpu->state = VCPU_STATE_OFF;
-	sl_unlock(&vcpu->lock);
-}
-
 size_t vcpu_index(const struct vcpu *vcpu)
 {
 	return vcpu - vcpu->vm->vcpus;