mirror of
https://github.com/projectacrn/acrn-hypervisor.git
synced 2025-05-04 06:26:54 +00:00
eb8c4fb0d5
MISRAC has requirement about implict conversion: actual to formal param. This patch is used to fix part of these violations. 1.Add a new structure seg_desc_vmcs to hold the VMCS field address of segment selector to clean up seg_desc structure. 2.Add the definition of maximum MSI entry and the relevant judgement. 3.The violations in shell.c, logmsg.c will be fixed in other series of patches with modification of function snprintf(), vsnprintf() and other related usages. v1->v2: *Move the definition of struct seg_desc_vmcs from instr_emul.h to instr_emul.c. *Modify the formal parameter type in function definition from uint8_t to char instead of using cast. *Drop the const declaration for char data in formal parameter. v2->v3: *update the data missing conversion. *change type of internal parameter len to avoid casting in npklog.c. *change the conversion from signed char to unsigned int in uart16550_getc() to solve sign-extension. Tracked-On: #861 Signed-off-by: Junjun Shan <junjun.shan@intel.com> Acked-by: Eddie Dong <eddie.dong@intel.com>
125 lines
3.5 KiB
C
125 lines
3.5 KiB
C
/*
|
|
* Copyright (C) 2018 Intel Corporation. All rights reserved.
|
|
*
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
*/
|
|
|
|
#ifndef ARCH_IRQ_H
|
|
#define ARCH_IRQ_H
|
|
|
|
#include <common/irq.h>
|
|
|
|
/* vectors range for dynamic allocation, usually for devices */
|
|
#define VECTOR_DYNAMIC_START 0x20U
|
|
#define VECTOR_DYNAMIC_END 0xDFU
|
|
|
|
/* vectors range for fixed vectors, usually for HV service */
|
|
#define VECTOR_FIXED_START 0xE0U
|
|
#define VECTOR_FIXED_END 0xFFU
|
|
|
|
#define VECTOR_TIMER 0xEFU
|
|
#define VECTOR_NOTIFY_VCPU 0xF0U
|
|
#define VECTOR_VIRT_IRQ_VHM 0xF7U
|
|
#define VECTOR_SPURIOUS 0xFFU
|
|
|
|
/* the maximum number of msi entry is 2048 according to PCI
|
|
* local bus specification
|
|
*/
|
|
#define MAX_MSI_ENTRY 0x800U
|
|
|
|
#define NR_MAX_VECTOR 0xFFU
|
|
#define VECTOR_INVALID (NR_MAX_VECTOR + 1U)
|
|
#define NR_IRQS 256U
|
|
#define IRQ_INVALID 0xffffffffU
|
|
|
|
#define TIMER_IRQ (NR_IRQS - 1U)
|
|
#define NOTIFY_IRQ (NR_IRQS - 2U)
|
|
|
|
#define DEFAULT_DEST_MODE IOAPIC_RTE_DESTLOG
|
|
#define DEFAULT_DELIVERY_MODE IOAPIC_RTE_DELLOPRI
|
|
#define ALL_CPUS_MASK ((1U << phys_cpu_num) - 1U)
|
|
|
|
/*
|
|
* Definition of the stack frame layout
|
|
*/
|
|
struct intr_excp_ctx {
|
|
struct cpu_gp_regs gp_regs;
|
|
uint64_t vector;
|
|
uint64_t error_code;
|
|
uint64_t rip;
|
|
uint64_t cs;
|
|
uint64_t rflags;
|
|
uint64_t ss;
|
|
};
|
|
|
|
typedef void (*smp_call_func_t)(void *data);
|
|
struct smp_call_info_data {
|
|
smp_call_func_t func;
|
|
void *data;
|
|
};
|
|
|
|
void smp_call_function(uint64_t mask, smp_call_func_t func, void *data);
|
|
int handle_level_interrupt_common(struct irq_desc *desc,
|
|
__unused void *handler_data);
|
|
int common_handler_edge(struct irq_desc *desc, __unused void *handler_data);
|
|
int common_dev_handler_level(struct irq_desc *desc,
|
|
__unused void *handler_data);
|
|
int quick_handler_nolock(struct irq_desc *desc, __unused void *handler_data);
|
|
|
|
void init_default_irqs(uint16_t cpu_id);
|
|
|
|
void dispatch_exception(struct intr_excp_ctx *ctx);
|
|
void dispatch_interrupt(struct intr_excp_ctx *ctx);
|
|
#ifdef CONFIG_PARTITION_MODE
|
|
void partition_mode_dispatch_interrupt(struct intr_excp_ctx *ctx);
|
|
#endif
|
|
|
|
void setup_notification(void);
|
|
|
|
typedef void (*spurious_handler_t)(uint32_t vector);
|
|
extern spurious_handler_t spurious_handler;
|
|
|
|
uint32_t alloc_irq_num(uint32_t req_irq);
|
|
uint32_t alloc_irq_vector(uint32_t irq);
|
|
|
|
uint32_t irq_to_vector(uint32_t irq);
|
|
|
|
/*
|
|
* Some MSI message definitions
|
|
*/
|
|
#define MSI_ADDR_MASK 0xfff00000U
|
|
#define MSI_ADDR_BASE 0xfee00000U
|
|
#define MSI_ADDR_RH 0x00000008U /* Redirection Hint */
|
|
#define MSI_ADDR_LOG 0x00000004U /* Destination Mode */
|
|
|
|
/* RFLAGS */
|
|
#define HV_ARCH_VCPU_RFLAGS_IF (1U<<9)
|
|
|
|
/* Interruptability State info */
|
|
#define HV_ARCH_VCPU_BLOCKED_BY_MOVSS (1U<<1)
|
|
#define HV_ARCH_VCPU_BLOCKED_BY_STI (1U<<0)
|
|
|
|
void vcpu_inject_extint(struct vcpu *vcpu);
|
|
void vcpu_inject_nmi(struct vcpu *vcpu);
|
|
void vcpu_inject_gp(struct vcpu *vcpu, uint32_t err_code);
|
|
void vcpu_inject_pf(struct vcpu *vcpu, uint64_t addr, uint32_t err_code);
|
|
void vcpu_inject_ud(struct vcpu *vcpu);
|
|
void vcpu_inject_ac(struct vcpu *vcpu);
|
|
void vcpu_inject_ss(struct vcpu *vcpu);
|
|
void vcpu_make_request(struct vcpu *vcpu, uint16_t eventid);
|
|
int vcpu_queue_exception(struct vcpu *vcpu, uint32_t vector, uint32_t err_code);
|
|
|
|
int exception_vmexit_handler(struct vcpu *vcpu);
|
|
int interrupt_window_vmexit_handler(struct vcpu *vcpu);
|
|
int external_interrupt_vmexit_handler(struct vcpu *vcpu);
|
|
int acrn_handle_pending_request(struct vcpu *vcpu);
|
|
void interrupt_init(uint16_t pcpu_id);
|
|
|
|
void cancel_event_injection(struct vcpu *vcpu);
|
|
|
|
#ifdef HV_DEBUG
|
|
void get_cpu_interrupt_info(char *str_arg, int str_max);
|
|
#endif /* HV_DEBUG */
|
|
|
|
#endif /* ARCH_IRQ_H */
|