hv:remove some unnecessary includes
remove some unnecessary includes Tracked-On: #1842 Signed-off-by: Mingqiang Chi <mingqiang.chi@intel.com>
This commit is contained in:
parent
b68aee6ef1
commit
da9ed0eda9
|
@ -14,8 +14,6 @@
|
|||
* The real page table and gdt will be setup in C main entry.
|
||||
*/
|
||||
|
||||
#include <spinlock.h>
|
||||
|
||||
/* NOTE:
|
||||
*
|
||||
* MISRA C requires that all unsigned constants should have the suffix 'U'
|
||||
|
|
|
@ -9,7 +9,6 @@
|
|||
#include <cpu_caps.h>
|
||||
#include <cpufeatures.h>
|
||||
#include <cpuid.h>
|
||||
#include <msr.h>
|
||||
#include <errno.h>
|
||||
#include <logmsg.h>
|
||||
#include <cat.h>
|
||||
|
|
|
@ -5,7 +5,6 @@
|
|||
*/
|
||||
|
||||
#include <vm_config.h>
|
||||
#include <errno.h>
|
||||
#include <acrn_common.h>
|
||||
#include <logmsg.h>
|
||||
#include <cat.h>
|
||||
|
|
|
@ -9,7 +9,6 @@
|
|||
#include <sprintf.h>
|
||||
#include <vm.h>
|
||||
#include <bits.h>
|
||||
#include <uart16550.h>
|
||||
#include <e820.h>
|
||||
#include <multiboot.h>
|
||||
#include <vtd.h>
|
||||
|
@ -22,7 +21,6 @@
|
|||
#include <pgtable.h>
|
||||
#include <mmu.h>
|
||||
#include <logmsg.h>
|
||||
#include <cat.h>
|
||||
#include <firmware.h>
|
||||
#include <board.h>
|
||||
|
||||
|
|
|
@ -5,13 +5,8 @@
|
|||
*/
|
||||
|
||||
#include <vmcs.h>
|
||||
#include <msr.h>
|
||||
#include <guest_memory.h>
|
||||
#include <vm.h>
|
||||
#include <vcpu.h>
|
||||
#include <cpu.h>
|
||||
#include <security.h>
|
||||
#include <types.h>
|
||||
|
||||
/* NOTE:
|
||||
*
|
||||
|
|
|
@ -12,7 +12,6 @@
|
|||
#include <pgtable.h>
|
||||
#include <host_pm.h>
|
||||
#include <trampoline.h>
|
||||
#include <msr.h>
|
||||
#include <vmx.h>
|
||||
#include <console.h>
|
||||
#include <ioapic.h>
|
||||
|
|
|
@ -9,7 +9,6 @@
|
|||
#include <pgtable.h>
|
||||
#include <rtl.h>
|
||||
#include <seed.h>
|
||||
#include "seed_abl.h"
|
||||
|
||||
#define ABL_SEED_LEN 32U
|
||||
struct abl_seed_info {
|
||||
|
|
|
@ -4,7 +4,6 @@
|
|||
* SPDX-License-Identifier: BSD-3-Clause
|
||||
*/
|
||||
|
||||
#include <types.h>
|
||||
#include <util.h>
|
||||
#include <boot_context.h>
|
||||
#include <acrn_common.h>
|
||||
|
|
|
@ -2,8 +2,6 @@
|
|||
* Copyright (C) <2018> Intel Corporation
|
||||
* SPDX-License-Identifier: BSD-3-Clause
|
||||
*/
|
||||
#include <vcpu.h>
|
||||
#include <spinlock.h>
|
||||
|
||||
/* NOTE:
|
||||
*
|
||||
|
|
|
@ -15,7 +15,6 @@
|
|||
#include <lapic.h>
|
||||
#include <per_cpu.h>
|
||||
#include <multiboot.h>
|
||||
#include <boot_context.h>
|
||||
#include <firmware_uefi.h>
|
||||
|
||||
static struct uefi_context uefi_ctx;
|
||||
|
|
|
@ -11,7 +11,6 @@
|
|||
#include <firmware.h>
|
||||
#include <firmware_sbl.h>
|
||||
#include <firmware_uefi.h>
|
||||
#include "platform_acpi_info.h"
|
||||
|
||||
static struct firmware_operations *firmware_ops;
|
||||
|
||||
|
|
|
@ -7,7 +7,6 @@
|
|||
#include <vm.h>
|
||||
#include <vmcs.h>
|
||||
#include <schedule.h>
|
||||
#include <hypercall.h>
|
||||
#include <version.h>
|
||||
#include <reloc.h>
|
||||
#include <vtd.h>
|
||||
|
|
|
@ -3,7 +3,6 @@
|
|||
*
|
||||
* SPDX-License-Identifier: BSD-3-Clause
|
||||
*/
|
||||
#include <types.h>
|
||||
#include <logmsg.h>
|
||||
|
||||
void __stack_chk_fail(void)
|
||||
|
|
|
@ -6,7 +6,6 @@
|
|||
|
||||
#include <vm.h>
|
||||
#include <errno.h>
|
||||
#include <hypercall.h>
|
||||
#include <logmsg.h>
|
||||
|
||||
#define ACRN_DBG_TRUSTY_HYCALL 6U
|
||||
|
|
|
@ -12,7 +12,6 @@
|
|||
#include <types.h>
|
||||
#include <rtl.h>
|
||||
#include <errno.h>
|
||||
#include <sbuf.h>
|
||||
#include <cpu.h>
|
||||
#include <per_cpu.h>
|
||||
|
||||
|
|
|
@ -7,7 +7,6 @@
|
|||
#include <types.h>
|
||||
#include <errno.h>
|
||||
#include <bits.h>
|
||||
#include <page.h>
|
||||
#include "shell_priv.h"
|
||||
#include <irq.h>
|
||||
#include <console.h>
|
||||
|
|
|
@ -34,8 +34,6 @@
|
|||
#include <errno.h>
|
||||
#include <irq.h>
|
||||
#include <assign.h>
|
||||
#include <mem_mgt.h>
|
||||
#include <pci.h>
|
||||
#include <logmsg.h>
|
||||
|
||||
#define RTBL_RO_BITS ((uint32_t)0x00004000U | (uint32_t)0x00001000U) /*Remote IRR and Delivery Status bits*/
|
||||
|
|
|
@ -35,7 +35,6 @@
|
|||
*/
|
||||
|
||||
#include <vm.h>
|
||||
#include <errno.h>
|
||||
#include <pci.h>
|
||||
#include "vpci_priv.h"
|
||||
|
||||
|
|
|
@ -37,6 +37,7 @@
|
|||
|
||||
#ifndef CPU_H
|
||||
#define CPU_H
|
||||
#include <types.h>
|
||||
|
||||
/* Define CPU stack alignment */
|
||||
#define CPU_STACK_ALIGN 16UL
|
||||
|
|
|
@ -6,6 +6,7 @@
|
|||
|
||||
#ifndef UTIL_H
|
||||
#define UTIL_H
|
||||
#include <types.h>
|
||||
|
||||
#define offsetof(st, m) __builtin_offsetof(st, m)
|
||||
#define va_start __builtin_va_start
|
||||
|
|
|
@ -5,6 +5,5 @@
|
|||
*/
|
||||
|
||||
#include <types.h>
|
||||
#include <sbuf.h>
|
||||
|
||||
void sbuf_reset(__unused uint16_t pcpu_id) {}
|
||||
|
|
|
@ -5,7 +5,6 @@
|
|||
*/
|
||||
|
||||
#include <vm_config.h>
|
||||
#include <vm_configurations.h>
|
||||
#include <pci_devices.h>
|
||||
|
||||
struct acrn_vm_pci_ptdev_config vm0_pci_ptdevs[VM0_CONFIG_PCI_PTDEV_NUM] = {
|
||||
|
|
Loading…
Reference in New Issue