TrustedFirmware Git Browser
Code Review Sign In
review.trustedfirmware.org / hafnium / hafnium.git / 84a30a0de2d5c70830e17c747b9fb05476babef0 / . / inc / vm.h
blob: 847d5b76176b092c2cd7631f873bfe0bd61a885b [file] [log] [blame]
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100[diff] [blame]1#ifndef _VM_H
2#define _VM_H
3
4#include "cpu.h"
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100[diff] [blame^]5#include "mm.h"
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100[diff] [blame]6
7struct vm {
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100[diff] [blame^]8 struct mm_ptable ptable;
Wedson Almeida Filho87009642018-07-02 10:20:07 +0100[diff] [blame]9 uint32_t vcpu_count;
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100[diff] [blame^]10 struct vcpu vcpus[MAX_CPUS];
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100[diff] [blame]11};
12
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100[diff] [blame^]13bool vm_init(struct vm *vm, uint32_t id, uint32_t vcpu_count);
Wedson Almeida Filho87009642018-07-02 10:20:07 +0100[diff] [blame]14void vm_start_vcpu(struct vm *vm, size_t index, size_t entry, size_t arg,
15 bool is_primary);
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100[diff] [blame^]16void vm_set_current(struct vm *vm);
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100[diff] [blame]17
Andrew Scull4f170f52018-07-19 12:58:20 +0100[diff] [blame]18#endif /* _VM_H */