File tree Expand file tree Collapse file tree 9 files changed +47
-11
lines changed Expand file tree Collapse file tree 9 files changed +47
-11
lines changed Original file line number Diff line number Diff line change 4
4
* SPDX-License-Identifier: BSD-3-Clause
5
5
*/
6
6
7
- #include <hypervisor.h>
7
+ #include <vm.h>
8
+ #include <vmcs.h>
9
+ #include <vmexit.h>
10
+ #include <irq.h>
8
11
#include <schedule.h>
9
12
#include <softirq.h>
13
+ #include <profiling.h>
14
+ #include <trace.h>
15
+ #include <logmsg.h>
10
16
11
17
void vcpu_thread (struct sched_object * obj )
12
18
{
Original file line number Diff line number Diff line change 4
4
* SPDX-License-Identifier: BSD-3-Clause
5
5
*/
6
6
7
- #include <hypervisor.h>
7
+ #include <vm.h>
8
+ #include <vmcs.h>
8
9
#include <schedule.h>
9
10
#include <hypercall.h>
10
11
#include <version.h>
11
12
#include <reloc.h>
12
13
#include <vtd.h>
14
+ #include <per_cpu.h>
15
+ #include <lapic.h>
16
+ #include <assign.h>
17
+ #include <ept.h>
18
+ #include <mmu.h>
19
+ #include <errno.h>
20
+ #include <logmsg.h>
13
21
14
22
#define ACRN_DBG_HYCALL 6U
15
23
Original file line number Diff line number Diff line change 3
3
* SPDX-License-Identifier: BSD-3-Clause
4
4
*/
5
5
6
- #include <hypervisor.h>
6
+ #include <vm.h>
7
+ #include <irq.h>
8
+ #include <errno.h>
9
+ #include <atomic.h>
10
+ #include <logmsg.h>
7
11
8
12
#define ACRN_DBG_IOREQUEST 6U
9
13
Original file line number Diff line number Diff line change 4
4
* SPDX-License-Identifier: BSD-3-Clause
5
5
*/
6
6
7
- #include <hypervisor .h>
7
+ #include <vm .h>
8
8
#include <softirq.h>
9
9
#include <ptdev.h>
10
+ #include <irq.h>
11
+ #include <atomic.h>
12
+ #include <logmsg.h>
10
13
11
14
#define PTIRQ_BITMAP_ARRAY_SIZE INT_DIV_ROUNDUP(CONFIG_MAX_PT_IRQ_ENTRIES, 64U)
12
15
struct ptirq_remapping_info ptirq_entries [CONFIG_MAX_PT_IRQ_ENTRIES ];
Original file line number Diff line number Diff line change 4
4
* SPDX-License-Identifier: BSD-3-Clause
5
5
*/
6
6
7
- #include <hypervisor.h>
7
+ #include <rtl.h>
8
+ #include <list.h>
9
+ #include <bits.h>
10
+ #include <cpu.h>
11
+ #include <per_cpu.h>
12
+ #include <lapic.h>
8
13
#include <schedule.h>
14
+ #include <sprintf.h>
9
15
10
16
static uint64_t pcpu_used_bitmap ;
11
17
Original file line number Diff line number Diff line change 4
4
* SPDX-License-Identifier: BSD-3-Clause
5
5
*/
6
6
7
- #include <hypervisor.h>
7
+ #include <types.h>
8
+ #include <bits.h>
9
+ #include <cpu.h>
10
+ #include <per_cpu.h>
8
11
#include <softirq.h>
9
12
10
-
11
13
static softirq_handler softirq_handlers [NR_SOFTIRQS ];
12
14
13
15
void init_softirq (void )
Original file line number Diff line number Diff line change 3
3
*
4
4
* SPDX-License-Identifier: BSD-3-Clause
5
5
*/
6
-
7
- #include <hypervisor .h>
6
+ #include <types.h>
7
+ #include <logmsg .h>
8
8
9
9
void __stack_chk_fail (void )
10
10
{
Original file line number Diff line number Diff line change 4
4
* SPDX-License-Identifier: BSD-3-Clause
5
5
*/
6
6
7
- #include <hypervisor.h>
7
+ #include <vm.h>
8
+ #include <errno.h>
8
9
#include <hypercall.h>
10
+ #include <logmsg.h>
9
11
10
12
#define ACRN_DBG_TRUSTY_HYCALL 6U
11
13
Original file line number Diff line number Diff line change 4
4
* SPDX-License-Identifier: BSD-3-Clause
5
5
*/
6
6
7
- #include <hypervisor .h>
7
+ #include <vm .h>
8
8
#include <e820.h>
9
9
#include <zeropage.h>
10
10
#include <boot_context.h>
11
+ #include <ept.h>
12
+ #include <mmu.h>
13
+ #include <errno.h>
14
+ #include <sprintf.h>
15
+ #include <logmsg.h>
11
16
12
17
static void prepare_bsp_gdt (struct acrn_vm * vm )
13
18
{
You can’t perform that action at this time.
0 commit comments