commit 03e767ad0ca9ef42040722d8f9b81e639e21a39b
author Wedson Almeida Filho <wedsonaf@google.com> Mon Jul 30 15:32:03 2018 +0100
committer Wedson Almeida Filho <wedsonaf@google.com> Mon Jul 30 15:56:56 2018 +0100
tree e3a5069089d546386499e29eda5d01adbfbe4825
parent 5bc0b4cdad2f5f89468d152940df488c3b73ee45

Add support for multiple host CPUs.

Change-Id: I0fd2fd85732e8e7beeacc595a9ca92c3cd98e73a

inc/cpu.h

diff --git a/inc/cpu.h b/inc/cpu.h
index c1ab1c6..d5bd29b 100644
--- a/inc/cpu.h
+++ b/inc/cpu.h
@@ -52,8 +52,9 @@
 size_t cpu_index(struct cpu *c);
 void cpu_irq_enable(struct cpu *c);
 void cpu_irq_disable(struct cpu *c);
-bool cpu_on(struct cpu *c);
+bool cpu_on(struct cpu *c, size_t entry, size_t arg);
 void cpu_off(struct cpu *c);
+struct cpu *cpu_find(size_t id);
 
 void vcpu_init(struct vcpu *vcpu, struct vm *vm);
 void vcpu_on(struct vcpu *vcpu);