hv: arch: fix 'Unused procedure parameter'

MISRA-C requires that there should be no unused parameters in
functions.

In some cases, we will keep the unused parameters.
vmexit handler is one example. It is used as function pointer.
Some of the vmexit handlers use the input parameter 'vcpu', some of
them don't. We still need to keep the unused parameters 'vcpu' for
those handlers don't use 'vcpu'.

This patch removes the unused parameters that is not being used
unconditionally.

v1 -> v2:
 * remove the non-implemented API 'vlapic_id_write_handler'

Tracked-On: #861
Signed-off-by: Shiqing Gao <shiqing.gao@intel.com>
Acked-by: Eddie Dong <eddie.dong@intel.com>
This commit is contained in:
Shiqing Gao 2018-09-25 15:05:15 +08:00 committed by lijinxia
parent 2908f09f88
commit 8787c06d3b
17 changed files with 68 additions and 91 deletions

View File

@ -678,9 +678,8 @@ END:
* - currently, one phys_pin can only be held by one pin source (vPIC or * - currently, one phys_pin can only be held by one pin source (vPIC or
* vIOAPIC) * vIOAPIC)
*/ */
int ptdev_add_intx_remapping(struct vm *vm, int ptdev_add_intx_remapping(struct vm *vm, uint8_t virt_pin, uint8_t phys_pin,
__unused uint16_t virt_bdf, __unused uint16_t phys_bdf, bool pic_pin)
uint8_t virt_pin, uint8_t phys_pin, bool pic_pin)
{ {
struct ptdev_remapping_info *entry; struct ptdev_remapping_info *entry;

View File

@ -688,7 +688,7 @@ void stop_cpus(void)
} }
} }
void cpu_do_idle(__unused uint16_t pcpu_id) void cpu_do_idle(void)
{ {
__asm __volatile("pause" ::: "memory"); __asm __volatile("pause" ::: "memory");
} }

View File

@ -86,8 +86,7 @@ static inline int set_vcpuid_entry(struct vm *vm,
/** /**
* initialization of virtual CPUID leaf * initialization of virtual CPUID leaf
*/ */
static void init_vcpuid_entry(__unused struct vm *vm, static void init_vcpuid_entry(uint32_t leaf, uint32_t subleaf,
uint32_t leaf, uint32_t subleaf,
uint32_t flags, struct vcpuid_entry *entry) uint32_t flags, struct vcpuid_entry *entry)
{ {
entry->leaf = leaf; entry->leaf = leaf;
@ -180,7 +179,7 @@ int set_vcpuid_entries(struct vm *vm)
uint32_t limit; uint32_t limit;
uint32_t i, j; uint32_t i, j;
init_vcpuid_entry(vm, 0U, 0U, 0U, &entry); init_vcpuid_entry(0U, 0U, 0U, &entry);
if (boot_cpu_data.cpuid_level < 0x16U) { if (boot_cpu_data.cpuid_level < 0x16U) {
/* The cpuid with zero leaf returns the max level. /* The cpuid with zero leaf returns the max level.
* Emulate that the 0x16U is supported */ * Emulate that the 0x16U is supported */
@ -204,8 +203,7 @@ int set_vcpuid_entries(struct vm *vm)
{ {
uint32_t times; uint32_t times;
init_vcpuid_entry(vm, i, 0U, init_vcpuid_entry(i, 0U, CPUID_CHECK_SUBLEAF, &entry);
CPUID_CHECK_SUBLEAF, &entry);
result = set_vcpuid_entry(vm, &entry); result = set_vcpuid_entry(vm, &entry);
if (result != 0) { if (result != 0) {
return result; return result;
@ -213,8 +211,8 @@ int set_vcpuid_entries(struct vm *vm)
times = entry.eax & 0xffUL; times = entry.eax & 0xffUL;
for (j = 1U; j < times; j++) { for (j = 1U; j < times; j++) {
init_vcpuid_entry(vm, i, j, init_vcpuid_entry(i, j, CPUID_CHECK_SUBLEAF,
CPUID_CHECK_SUBLEAF, &entry); &entry);
result = set_vcpuid_entry(vm, &entry); result = set_vcpuid_entry(vm, &entry);
if (result != 0) { if (result != 0) {
return result; return result;
@ -230,8 +228,8 @@ int set_vcpuid_entries(struct vm *vm)
break; break;
} }
init_vcpuid_entry(vm, i, j, init_vcpuid_entry(i, j, CPUID_CHECK_SUBLEAF,
CPUID_CHECK_SUBLEAF, &entry); &entry);
if ((i == 0x04U) && (entry.eax == 0U)) { if ((i == 0x04U) && (entry.eax == 0U)) {
break; break;
} }
@ -257,7 +255,7 @@ int set_vcpuid_entries(struct vm *vm)
case 0x14U: case 0x14U:
break; break;
default: default:
init_vcpuid_entry(vm, i, 0U, 0U, &entry); init_vcpuid_entry(i, 0U, 0U, &entry);
result = set_vcpuid_entry(vm, &entry); result = set_vcpuid_entry(vm, &entry);
if (result != 0) { if (result != 0) {
return result; return result;
@ -266,19 +264,19 @@ int set_vcpuid_entries(struct vm *vm)
} }
} }
init_vcpuid_entry(vm, 0x40000000U, 0U, 0U, &entry); init_vcpuid_entry(0x40000000U, 0U, 0U, &entry);
result = set_vcpuid_entry(vm, &entry); result = set_vcpuid_entry(vm, &entry);
if (result != 0) { if (result != 0) {
return result; return result;
} }
init_vcpuid_entry(vm, 0x40000010U, 0U, 0U, &entry); init_vcpuid_entry(0x40000010U, 0U, 0U, &entry);
result = set_vcpuid_entry(vm, &entry); result = set_vcpuid_entry(vm, &entry);
if (result != 0) { if (result != 0) {
return result; return result;
} }
init_vcpuid_entry(vm, 0x80000000U, 0U, 0U, &entry); init_vcpuid_entry(0x80000000U, 0U, 0U, &entry);
result = set_vcpuid_entry(vm, &entry); result = set_vcpuid_entry(vm, &entry);
if (result != 0) { if (result != 0) {
return result; return result;
@ -287,7 +285,7 @@ int set_vcpuid_entries(struct vm *vm)
limit = entry.eax; limit = entry.eax;
vm->vcpuid_xlevel = limit; vm->vcpuid_xlevel = limit;
for (i = 0x80000001U; i <= limit; i++) { for (i = 0x80000001U; i <= limit; i++) {
init_vcpuid_entry(vm, i, 0U, 0U, &entry); init_vcpuid_entry(i, 0U, 0U, &entry);
result = set_vcpuid_entry(vm, &entry); result = set_vcpuid_entry(vm, &entry);
if (result != 0) { if (result != 0) {
return result; return result;

View File

@ -134,8 +134,8 @@ static inline uint8_t get_slp_typx(uint32_t pm1_cnt)
return (uint8_t)((pm1_cnt & 0x1fffU) >> BIT_SLP_TYPx); return (uint8_t)((pm1_cnt & 0x1fffU) >> BIT_SLP_TYPx);
} }
static uint32_t pm1ab_io_read(__unused struct vm_io_handler *hdlr, static uint32_t pm1ab_io_read(__unused struct vm *vm, uint16_t addr,
__unused struct vm *vm, uint16_t addr, size_t width) size_t width)
{ {
uint32_t val = pio_read(addr, width); uint32_t val = pio_read(addr, width);
@ -150,8 +150,7 @@ static uint32_t pm1ab_io_read(__unused struct vm_io_handler *hdlr,
return val; return val;
} }
static void pm1ab_io_write(__unused struct vm_io_handler *hdlr, static void pm1ab_io_write(__unused struct vm *vm, uint16_t addr, size_t width,
__unused struct vm *vm, uint16_t addr, size_t width,
uint32_t v) uint32_t v)
{ {
static uint32_t pm1a_cnt_ready = 0U; static uint32_t pm1a_cnt_ready = 0U;

View File

@ -85,11 +85,10 @@ vlapic_dump_isr(__unused struct acrn_vlapic *vlapic, __unused char *msg) {}
static uint8_t apicv_apic_access_addr[CPU_PAGE_SIZE] __aligned(CPU_PAGE_SIZE); static uint8_t apicv_apic_access_addr[CPU_PAGE_SIZE] __aligned(CPU_PAGE_SIZE);
static int static int
apicv_set_intr_ready(struct acrn_vlapic *vlapic, uint32_t vector, apicv_set_intr_ready(struct acrn_vlapic *vlapic, uint32_t vector);
__unused bool level);
static int static int
apicv_pending_intr(struct acrn_vlapic *vlapic, __unused uint32_t *vecptr); apicv_pending_intr(struct acrn_vlapic *vlapic);
static void static void
apicv_batch_set_tmr(struct acrn_vlapic *vlapic); apicv_batch_set_tmr(struct acrn_vlapic *vlapic);
@ -229,13 +228,6 @@ vlapic_ldr_write_handler(struct acrn_vlapic *vlapic)
dev_dbg(ACRN_DBG_LAPIC, "vlapic LDR set to %#x", lapic->ldr); dev_dbg(ACRN_DBG_LAPIC, "vlapic LDR set to %#x", lapic->ldr);
} }
static void
vlapic_id_write_handler(__unused struct acrn_vlapic *vlapic)
{
/* Force APIC ID as readonly */
return;
}
static inline uint32_t static inline uint32_t
vlapic_timer_divisor_shift(uint32_t dcr) vlapic_timer_divisor_shift(uint32_t dcr)
{ {
@ -490,7 +482,7 @@ vlapic_set_intr_ready(struct acrn_vlapic *vlapic, uint32_t vector, bool level)
} }
if (is_apicv_intr_delivery_supported()) { if (is_apicv_intr_delivery_supported()) {
return apicv_set_intr_ready(vlapic, vector, level); return apicv_set_intr_ready(vlapic, vector);
} }
idx = vector >> 5U; idx = vector >> 5U;
@ -1239,7 +1231,7 @@ vlapic_pending_intr(struct acrn_vlapic *vlapic, uint32_t *vecptr)
struct lapic_reg *irrptr; struct lapic_reg *irrptr;
if (is_apicv_intr_delivery_supported()) { if (is_apicv_intr_delivery_supported()) {
return apicv_pending_intr(vlapic, vecptr); return apicv_pending_intr(vlapic);
} }
irrptr = &lapic->irr[0]; irrptr = &lapic->irr[0];
@ -1492,7 +1484,7 @@ vlapic_write(struct acrn_vlapic *vlapic, uint32_t offset,
retval = 0; retval = 0;
switch (offset) { switch (offset) {
case APIC_OFFSET_ID: case APIC_OFFSET_ID:
vlapic_id_write_handler(vlapic); /* Force APIC ID as read only */
break; break;
case APIC_OFFSET_TPR: case APIC_OFFSET_TPR:
vlapic_set_tpr(vlapic, data32 & 0xffU); vlapic_set_tpr(vlapic, data32 & 0xffU);
@ -1995,7 +1987,7 @@ int vlapic_create(struct vcpu *vcpu)
DEFAULT_APIC_BASE, CPU_PAGE_SIZE); DEFAULT_APIC_BASE, CPU_PAGE_SIZE);
ept_mr_add(vcpu->vm, pml4_page, ept_mr_add(vcpu->vm, pml4_page,
vlapic_apicv_get_apic_access_addr(vcpu->vm), vlapic_apicv_get_apic_access_addr(),
DEFAULT_APIC_BASE, CPU_PAGE_SIZE, DEFAULT_APIC_BASE, CPU_PAGE_SIZE,
EPT_WR | EPT_RD | EPT_UNCACHED); EPT_WR | EPT_RD | EPT_UNCACHED);
} }
@ -2022,8 +2014,7 @@ void vlapic_free(struct vcpu *vcpu)
* APIC-v functions * APIC-v functions
* **/ * **/
static int static int
apicv_set_intr_ready(struct acrn_vlapic *vlapic, uint32_t vector, apicv_set_intr_ready(struct acrn_vlapic *vlapic, uint32_t vector)
__unused bool level)
{ {
struct vlapic_pir_desc *pir_desc; struct vlapic_pir_desc *pir_desc;
uint64_t mask; uint64_t mask;
@ -2041,7 +2032,7 @@ apicv_set_intr_ready(struct acrn_vlapic *vlapic, uint32_t vector,
} }
static int static int
apicv_pending_intr(struct acrn_vlapic *vlapic, __unused uint32_t *vecptr) apicv_pending_intr(struct acrn_vlapic *vlapic)
{ {
struct vlapic_pir_desc *pir_desc; struct vlapic_pir_desc *pir_desc;
struct lapic_regs *lapic; struct lapic_regs *lapic;
@ -2104,7 +2095,7 @@ apicv_batch_set_tmr(struct acrn_vlapic *vlapic)
*APIC-v: Get the HPA to APIC-access page *APIC-v: Get the HPA to APIC-access page
* **/ * **/
uint64_t uint64_t
vlapic_apicv_get_apic_access_addr(__unused struct vm *vm) vlapic_apicv_get_apic_access_addr(void)
{ {
return hva2hpa(apicv_apic_access_addr); return hva2hpa(apicv_apic_access_addr);
} }
@ -2278,7 +2269,7 @@ int apic_write_vmexit_handler(struct vcpu *vcpu)
switch (offset) { switch (offset) {
case APIC_OFFSET_ID: case APIC_OFFSET_ID:
vlapic_id_write_handler(vlapic); /* Force APIC ID as read only */
break; break;
case APIC_OFFSET_EOI: case APIC_OFFSET_EOI:
vlapic_process_eoi(vlapic); vlapic_process_eoi(vlapic);

View File

@ -200,14 +200,14 @@ hv_emulate_pio(struct vcpu *vcpu, struct io_request *io_req)
break; break;
} else { } else {
if (pio_req->direction == REQUEST_WRITE) { if (pio_req->direction == REQUEST_WRITE) {
handler->desc.io_write(handler, vm, port, size, handler->desc.io_write(vm, port, size,
pio_req->value & mask); pio_req->value & mask);
pr_dbg("IO write on port %04x, data %08x", port, pr_dbg("IO write on port %04x, data %08x", port,
pio_req->value & mask); pio_req->value & mask);
} else { } else {
pio_req->value = handler->desc.io_read(handler, pio_req->value = handler->desc.io_read(vm, port,
vm, port, size); size);
pr_dbg("IO read on port %04x, data %08x", pr_dbg("IO read on port %04x, data %08x",
port, pio_req->value); port, pio_req->value);

View File

@ -203,7 +203,7 @@ void exec_vmwrite16(uint32_t field, uint16_t value)
exec_vmwrite64(field, (uint64_t)value); exec_vmwrite64(field, (uint64_t)value);
} }
static void init_cr0_cr4_host_mask(__unused struct vcpu *vcpu) static void init_cr0_cr4_host_mask(void)
{ {
static bool inited = false; static bool inited = false;
uint64_t fixed0, fixed1; uint64_t fixed0, fixed1;
@ -692,7 +692,7 @@ static void init_guest_state(struct vcpu *vcpu)
} }
} }
static void init_host_state(__unused struct vcpu *vcpu) static void init_host_state(void)
{ {
uint16_t value16; uint16_t value16;
uint64_t value64; uint64_t value64;
@ -968,7 +968,7 @@ static void init_exec_ctrl(struct vcpu *vcpu)
pr_dbg("VMX_PROC_VM_EXEC_CONTROLS2: 0x%x ", value32); pr_dbg("VMX_PROC_VM_EXEC_CONTROLS2: 0x%x ", value32);
/*APIC-v, config APIC-access address*/ /*APIC-v, config APIC-access address*/
value64 = vlapic_apicv_get_apic_access_addr(vcpu->vm); value64 = vlapic_apicv_get_apic_access_addr();
exec_vmwrite64(VMX_APIC_ACCESS_ADDR_FULL, value64); exec_vmwrite64(VMX_APIC_ACCESS_ADDR_FULL, value64);
/*APIC-v, config APIC virtualized page address*/ /*APIC-v, config APIC virtualized page address*/
@ -1043,7 +1043,7 @@ static void init_exec_ctrl(struct vcpu *vcpu)
/* Natural-width */ /* Natural-width */
pr_dbg("Natural-width*********"); pr_dbg("Natural-width*********");
init_cr0_cr4_host_mask(vcpu); init_cr0_cr4_host_mask();
/* The CR3 target registers work in concert with VMX_CR3_TARGET_COUNT /* The CR3 target registers work in concert with VMX_CR3_TARGET_COUNT
* field. Using these registers guest CR3 access can be managed. i.e., * field. Using these registers guest CR3 access can be managed. i.e.,
@ -1097,7 +1097,7 @@ static void init_entry_ctrl(__unused struct vcpu *vcpu)
exec_vmwrite32(VMX_ENTRY_INSTR_LENGTH, 0U); exec_vmwrite32(VMX_ENTRY_INSTR_LENGTH, 0U);
} }
static void init_exit_ctrl(__unused struct vcpu *vcpu) static void init_exit_ctrl(void)
{ {
uint32_t value32; uint32_t value32;
@ -1156,10 +1156,10 @@ void init_vmcs(struct vcpu *vcpu)
exec_vmptrld((void *)&vmcs_pa); exec_vmptrld((void *)&vmcs_pa);
/* Initialize the Virtual Machine Control Structure (VMCS) */ /* Initialize the Virtual Machine Control Structure (VMCS) */
init_host_state(vcpu); init_host_state();
/* init exec_ctrl needs to run before init_guest_state */ /* init exec_ctrl needs to run before init_guest_state */
init_exec_ctrl(vcpu); init_exec_ctrl(vcpu);
init_guest_state(vcpu); init_guest_state(vcpu);
init_entry_ctrl(vcpu); init_entry_ctrl(vcpu);
init_exit_ctrl(vcpu); init_exit_ctrl();
} }

View File

@ -783,10 +783,8 @@ int32_t hcall_set_ptdev_intr_info(struct vm *vm, uint16_t vmid, uint64_t param)
} }
if (irq.type == IRQ_INTX) { if (irq.type == IRQ_INTX) {
ret = ptdev_add_intx_remapping(target_vm, ret = ptdev_add_intx_remapping(target_vm, irq.is.intx.virt_pin,
irq.virt_bdf, irq.phys_bdf, irq.is.intx.phys_pin, irq.is.intx.pic_pin);
irq.is.intx.virt_pin, irq.is.intx.phys_pin,
irq.is.intx.pic_pin);
} else if ((irq.type == IRQ_MSI) || (irq.type == IRQ_MSIX)) { } else if ((irq.type == IRQ_MSI) || (irq.type == IRQ_MSIX)) {
ret = ptdev_add_msix_remapping(target_vm, ret = ptdev_add_msix_remapping(target_vm,
irq.virt_bdf, irq.phys_bdf, irq.virt_bdf, irq.phys_bdf,

View File

@ -178,7 +178,7 @@ void default_idle(void)
cpu_dead(pcpu_id); cpu_dead(pcpu_id);
} else { } else {
CPU_IRQ_ENABLE(); CPU_IRQ_ENABLE();
cpu_do_idle(pcpu_id); cpu_do_idle();
CPU_IRQ_DISABLE(); CPU_IRQ_DISABLE();
} }
} }

View File

@ -133,8 +133,8 @@ static void vuart_toggle_intr(struct acrn_vuart *vu)
} }
} }
static void vuart_write(__unused struct vm_io_handler *hdlr, struct vm *vm, static void vuart_write(struct vm *vm, uint16_t offset_arg,
uint16_t offset_arg, __unused size_t width, uint32_t value) __unused size_t width, uint32_t value)
{ {
uint16_t offset = offset_arg; uint16_t offset = offset_arg;
struct acrn_vuart *vu = vm_vuart(vm); struct acrn_vuart *vu = vm_vuart(vm);
@ -219,8 +219,8 @@ done:
vuart_unlock(vu); vuart_unlock(vu);
} }
static uint32_t vuart_read(__unused struct vm_io_handler *hdlr, struct vm *vm, static uint32_t vuart_read(struct vm *vm, uint16_t offset_arg,
uint16_t offset_arg, __unused size_t width) __unused size_t width)
{ {
uint16_t offset = offset_arg; uint16_t offset = offset_arg;
uint8_t iir, reg, intr_reason; uint8_t iir, reg, intr_reason;

View File

@ -52,8 +52,7 @@ static void pci_cfg_clear_cache(struct pci_addr_info *pi)
pi->cached_enable = 0U; pi->cached_enable = 0U;
} }
static uint32_t pci_cfg_io_read(__unused struct vm_io_handler *hdlr, static uint32_t pci_cfg_io_read(struct vm *vm, uint16_t addr, size_t bytes)
struct vm *vm, uint16_t addr, size_t bytes)
{ {
uint32_t val = 0xFFFFFFFFU; uint32_t val = 0xFFFFFFFFU;
struct vpci *vpci = &vm->vpci; struct vpci *vpci = &vm->vpci;
@ -85,8 +84,8 @@ static uint32_t pci_cfg_io_read(__unused struct vm_io_handler *hdlr,
return val; return val;
} }
static void pci_cfg_io_write(__unused struct vm_io_handler *hdlr, static void pci_cfg_io_write(struct vm *vm, uint16_t addr, size_t bytes,
struct vm *vm, uint16_t addr, size_t bytes, uint32_t val) uint32_t val)
{ {
struct vpci *vpci = &vm->vpci; struct vpci *vpci = &vm->vpci;
struct pci_addr_info *pi = &vpci->addr_info; struct pci_addr_info *pi = &vpci->addr_info;

View File

@ -724,8 +724,7 @@ static int vpic_master_handler(struct vm *vm, bool in, uint16_t port,
return vpic_write(vpic, i8259, port, eax); return vpic_write(vpic, i8259, port, eax);
} }
static uint32_t vpic_master_io_read(__unused struct vm_io_handler *hdlr, static uint32_t vpic_master_io_read(struct vm *vm, uint16_t addr, size_t width)
struct vm *vm, uint16_t addr, size_t width)
{ {
uint32_t val = 0U; uint32_t val = 0U;
@ -736,8 +735,8 @@ static uint32_t vpic_master_io_read(__unused struct vm_io_handler *hdlr,
return val; return val;
} }
static void vpic_master_io_write(__unused struct vm_io_handler *hdlr, static void vpic_master_io_write(struct vm *vm, uint16_t addr, size_t width,
struct vm *vm, uint16_t addr, size_t width, uint32_t v) uint32_t v)
{ {
uint32_t val = v; uint32_t val = v;
@ -767,8 +766,7 @@ static int vpic_slave_handler(struct vm *vm, bool in, uint16_t port,
return vpic_write(vpic, i8259, port, eax); return vpic_write(vpic, i8259, port, eax);
} }
static uint32_t vpic_slave_io_read(__unused struct vm_io_handler *hdlr, static uint32_t vpic_slave_io_read(struct vm *vm, uint16_t addr, size_t width)
struct vm *vm, uint16_t addr, size_t width)
{ {
uint32_t val = 0U; uint32_t val = 0U;
@ -779,8 +777,8 @@ static uint32_t vpic_slave_io_read(__unused struct vm_io_handler *hdlr,
return val; return val;
} }
static void vpic_slave_io_write(__unused struct vm_io_handler *hdlr, static void vpic_slave_io_write(struct vm *vm, uint16_t addr, size_t width,
struct vm *vm, uint16_t addr, size_t width, uint32_t v) uint32_t v)
{ {
uint32_t val = v; uint32_t val = v;
@ -834,8 +832,7 @@ static int vpic_elc_handler(struct vm *vm, bool in, uint16_t port, size_t bytes,
return 0; return 0;
} }
static uint32_t vpic_elc_io_read(__unused struct vm_io_handler *hdlr, static uint32_t vpic_elc_io_read(struct vm *vm, uint16_t addr, size_t width)
struct vm *vm, uint16_t addr, size_t width)
{ {
uint32_t val = 0U; uint32_t val = 0U;
@ -845,8 +842,8 @@ static uint32_t vpic_elc_io_read(__unused struct vm_io_handler *hdlr,
return val; return val;
} }
static void vpic_elc_io_write(__unused struct vm_io_handler *hdlr, static void vpic_elc_io_write(struct vm *vm, uint16_t addr, size_t width,
struct vm *vm, uint16_t addr, size_t width, uint32_t v) uint32_t v)
{ {
uint32_t val = v; uint32_t val = v;

View File

@ -46,8 +46,7 @@ static uint8_t cmos_get_reg_val(uint8_t addr)
return reg; return reg;
} }
static uint32_t vrtc_read(__unused struct vm_io_handler *hdlr, struct vm *vm, static uint32_t vrtc_read(struct vm *vm, uint16_t addr, __unused size_t width)
uint16_t addr, __unused size_t width)
{ {
uint8_t reg; uint8_t reg;
uint8_t offset; uint8_t offset;
@ -62,8 +61,8 @@ static uint32_t vrtc_read(__unused struct vm_io_handler *hdlr, struct vm *vm,
return reg; return reg;
} }
static void vrtc_write(__unused struct vm_io_handler *hdlr, struct vm *vm, uint16_t addr, static void vrtc_write(struct vm *vm, uint16_t addr, size_t width,
size_t width, uint32_t value) uint32_t value)
{ {
if (width != 1U) if (width != 1U)

View File

@ -15,8 +15,7 @@ int ptdev_msix_remap(struct vm *vm, uint16_t virt_bdf,
uint16_t entry_nr, struct ptdev_msi_info *info); uint16_t entry_nr, struct ptdev_msi_info *info);
int ptdev_intx_pin_remap(struct vm *vm, uint8_t virt_pin, int ptdev_intx_pin_remap(struct vm *vm, uint8_t virt_pin,
enum ptdev_vpin_source vpin_src); enum ptdev_vpin_source vpin_src);
int ptdev_add_intx_remapping(struct vm *vm, __unused uint16_t virt_bdf, int ptdev_add_intx_remapping(struct vm *vm, uint8_t virt_pin, uint8_t phys_pin,
__unused uint16_t phys_bdf, uint8_t virt_pin, uint8_t phys_pin,
bool pic_pin); bool pic_pin);
void ptdev_remove_intx_remapping(struct vm *vm, uint8_t virt_pin, bool pic_pin); void ptdev_remove_intx_remapping(struct vm *vm, uint8_t virt_pin, bool pic_pin);
int ptdev_add_msix_remapping(struct vm *vm, uint16_t virt_bdf, int ptdev_add_msix_remapping(struct vm *vm, uint16_t virt_bdf,

View File

@ -314,7 +314,7 @@ extern struct cpuinfo_x86 boot_cpu_data;
#define MAX_CX_ENTRY (MAX_CSTATE - 1U) #define MAX_CX_ENTRY (MAX_CSTATE - 1U)
/* Function prototypes */ /* Function prototypes */
void cpu_do_idle(__unused uint16_t pcpu_id); void cpu_do_idle(void);
void cpu_dead(uint16_t pcpu_id); void cpu_dead(uint16_t pcpu_id);
void trampoline_start16(void); void trampoline_start16(void);
bool is_apicv_intr_delivery_supported(void); bool is_apicv_intr_delivery_supported(void);

View File

@ -178,7 +178,7 @@ void vlapic_init(struct acrn_vlapic *vlapic);
void vlapic_reset(struct acrn_vlapic *vlapic); void vlapic_reset(struct acrn_vlapic *vlapic);
void vlapic_restore(struct acrn_vlapic *vlapic, struct lapic_regs *regs); void vlapic_restore(struct acrn_vlapic *vlapic, struct lapic_regs *regs);
bool vlapic_enabled(struct acrn_vlapic *vlapic); bool vlapic_enabled(struct acrn_vlapic *vlapic);
uint64_t vlapic_apicv_get_apic_access_addr(__unused struct vm *vm); uint64_t vlapic_apicv_get_apic_access_addr(void);
uint64_t vlapic_apicv_get_apic_page_addr(struct acrn_vlapic *vlapic); uint64_t vlapic_apicv_get_apic_page_addr(struct acrn_vlapic *vlapic);
void vlapic_apicv_inject_pir(struct acrn_vlapic *vlapic); void vlapic_apicv_inject_pir(struct acrn_vlapic *vlapic);
int apic_access_vmexit_handler(struct vcpu *vcpu); int apic_access_vmexit_handler(struct vcpu *vcpu);

View File

@ -35,12 +35,10 @@ struct vm;
struct vcpu; struct vcpu;
typedef typedef
uint32_t (*io_read_fn_t)(struct vm_io_handler *handler, struct vm *vm, uint32_t (*io_read_fn_t)(struct vm *vm, uint16_t port, size_t size);
uint16_t port, size_t size);
typedef typedef
void (*io_write_fn_t)(struct vm_io_handler *handler, struct vm *vm, void (*io_write_fn_t)(struct vm *vm, uint16_t port, size_t size, uint32_t val);
uint16_t port, size_t size, uint32_t val);
/* Describes a single IO handler description entry. */ /* Describes a single IO handler description entry. */
struct vm_io_handler_desc { struct vm_io_handler_desc {