| Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame^] | 1 | #ifndef _VM_H |
| 2 | #define _VM_H | ||||
| 3 | |||||
| 4 | #include "cpu.h" | ||||
| 5 | |||||
| 6 | struct vm { | ||||
| 7 | struct vcpu vcpus[MAX_CPUS]; | ||||
| 8 | struct arch_page_table page_table; | ||||
| 9 | }; | ||||
| 10 | |||||
| 11 | void vm_init(struct vm *vm, struct cpu *cpus); | ||||
| 12 | void vm_start_vcpu(struct vm *vm, size_t index, size_t entry, size_t arg); | ||||
| 13 | |||||
| 14 | #endif /* _VM_H */ | ||||