| Wedson Almeida Filho | 3fcbcff | 2018-07-10 23:53:39 +0100 | [diff] [blame^] | 1 | #ifndef _API_H |
| 2 | #define _API_H | ||||
| 3 | |||||
| 4 | #include "cpu.h" | ||||
| 5 | #include "vm.h" | ||||
| 6 | |||||
| 7 | /* TODO: Can we hide these? */ | ||||
| 8 | extern struct vm secondary_vm[MAX_VMS]; | ||||
| 9 | extern uint32_t secondary_vm_count; | ||||
| 10 | extern struct vm primary_vm; | ||||
| 11 | |||||
| 12 | int32_t api_vm_get_count(void); | ||||
| 13 | int32_t api_vcpu_get_count(uint32_t vm_idx); | ||||
| 14 | int32_t api_vcpu_run(uint32_t vm_idx, uint32_t vcpu_idx, struct vcpu **next); | ||||
| 15 | struct vcpu *api_wait_for_interrupt(void); | ||||
| 16 | |||||
| 17 | #endif /* _API_H */ | ||||