1 /* 2 * Copyright (C) 2018-2022 Intel Corporation. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #include <util.h> 8 #include <acrn_common.h> 9 #include <asm/guest/vcpu.h> 10 #include <asm/mmu.h> 11 #include <asm/guest/trusty.h> 12 #include <asm/vtd.h> 13 14 #define CAT__(A,B) A ## B 15 #define CAT_(A,B) CAT__(A,B) 16 #define CTASSERT(expr) \ 17 typedef int32_t CAT_(CTA_DummyType,__LINE__)[(expr) ? 1 : -1] 18 19 /* This is to make sure the 16 bits vpid won't overflow */ 20 #if ((CONFIG_MAX_VM_NUM * MAX_VCPUS_PER_VM) > 0xffffU) 21 #error "VM number or VCPU number are too big" 22 #endif 23 24 #if ((CONFIG_HV_RAM_START & (MEM_2M - 1UL)) != 0UL) 25 #error "CONFIG_HV_RAM_START must be aligned to 2MB" 26 #endif 27 28 #if ((MAX_IR_ENTRIES < 256U) || (MAX_IR_ENTRIES > 0x10000U) || (MAX_IR_ENTRIES & (MAX_IR_ENTRIES -1)) != 0U) 29 #error "MAX_IR_ENTRIES must in the region of [256,0x10000] and be 2^n" 30 #endif 31 32 /* Build time sanity checks to make sure hard-coded offset 33 * is matching the actual offset! 34 */ 35 CTASSERT(CPU_CONTEXT_OFFSET_RAX == offsetof(struct acrn_gp_regs, rax)); 36 CTASSERT(CPU_CONTEXT_OFFSET_RBX == offsetof(struct acrn_gp_regs, rbx)); 37 CTASSERT(CPU_CONTEXT_OFFSET_RCX == offsetof(struct acrn_gp_regs, rcx)); 38 CTASSERT(CPU_CONTEXT_OFFSET_RDX == offsetof(struct acrn_gp_regs, rdx)); 39 CTASSERT(CPU_CONTEXT_OFFSET_RBP == offsetof(struct acrn_gp_regs, rbp)); 40 CTASSERT(CPU_CONTEXT_OFFSET_RSI == offsetof(struct acrn_gp_regs, rsi)); 41 CTASSERT(CPU_CONTEXT_OFFSET_RDI == offsetof(struct acrn_gp_regs, rdi)); 42 CTASSERT(CPU_CONTEXT_OFFSET_R8 == offsetof(struct acrn_gp_regs, r8)); 43 CTASSERT(CPU_CONTEXT_OFFSET_R9 == offsetof(struct acrn_gp_regs, r9)); 44 CTASSERT(CPU_CONTEXT_OFFSET_R10 == offsetof(struct acrn_gp_regs, r10)); 45 CTASSERT(CPU_CONTEXT_OFFSET_R11 == offsetof(struct acrn_gp_regs, r11)); 46 CTASSERT(CPU_CONTEXT_OFFSET_R12 == offsetof(struct acrn_gp_regs, r12)); 47 CTASSERT(CPU_CONTEXT_OFFSET_R13 == offsetof(struct acrn_gp_regs, r13)); 48 CTASSERT(CPU_CONTEXT_OFFSET_R14 == offsetof(struct acrn_gp_regs, r14)); 49 CTASSERT(CPU_CONTEXT_OFFSET_R15 == offsetof(struct acrn_gp_regs, r15)); 50 CTASSERT(CPU_CONTEXT_OFFSET_CR2 == offsetof(struct run_context, cr2)); 51 CTASSERT(CPU_CONTEXT_OFFSET_IA32_SPEC_CTRL 52 == offsetof(struct run_context, ia32_spec_ctrl)); 53 CTASSERT(CPU_CONTEXT_OFFSET_RFLAGS == offsetof(struct run_context, rflags)); 54 CTASSERT(CPU_CONTEXT_OFFSET_CR3 - CPU_CONTEXT_OFFSET_EXTCTX_START 55 == offsetof(struct ext_context, cr3)); 56 CTASSERT(CPU_CONTEXT_OFFSET_IDTR - CPU_CONTEXT_OFFSET_EXTCTX_START 57 == offsetof(struct ext_context, idtr)); 58 CTASSERT(CPU_CONTEXT_OFFSET_LDTR - CPU_CONTEXT_OFFSET_EXTCTX_START 59 == offsetof(struct ext_context, ldtr)); 60 CTASSERT((sizeof(struct trusty_startup_param) 61 + sizeof(struct trusty_key_info)) < 0x1000U); 62 CTASSERT(NR_WORLD == 2); 63 CTASSERT(sizeof(struct acrn_io_request) == (4096U/ACRN_IO_REQUEST_MAX)); 64