diff --git a/hypervisor/arch/x86/guest/vlapic.c b/hypervisor/arch/x86/guest/vlapic.c index 8512e62c4..cf786a20e 100644 --- a/hypervisor/arch/x86/guest/vlapic.c +++ b/hypervisor/arch/x86/guest/vlapic.c @@ -113,7 +113,7 @@ static uint16_t vm_apicid2vcpu_id(struct acrn_vm *vm, uint8_t lapicid) struct acrn_vcpu *vcpu; foreach_vcpu(i, vm, vcpu) { - struct acrn_vlapic *vlapic = vcpu_vlapic(vcpu); + const struct acrn_vlapic *vlapic = vcpu_vlapic(vcpu); if (vlapic_get_apicid(vlapic) == lapicid) { return vcpu->vcpu_id; } @@ -139,7 +139,7 @@ vm_active_cpus(const struct acrn_vm *vm) } uint32_t -vlapic_get_apicid(struct acrn_vlapic *vlapic) +vlapic_get_apicid(const struct acrn_vlapic *vlapic) { uint32_t apicid; if (is_x2apic_enabled(vlapic)) { diff --git a/hypervisor/include/arch/x86/guest/vlapic.h b/hypervisor/include/arch/x86/guest/vlapic.h index 621940e2c..a55cbc1a6 100644 --- a/hypervisor/include/arch/x86/guest/vlapic.h +++ b/hypervisor/include/arch/x86/guest/vlapic.h @@ -264,7 +264,7 @@ void vlapic_set_tmr_one_vec(struct acrn_vlapic *vlapic, uint32_t delmode, uint32_t vector, bool level); void vlapic_apicv_batch_set_tmr(struct acrn_vlapic *vlapic); -uint32_t vlapic_get_apicid(struct acrn_vlapic *vlapic); +uint32_t vlapic_get_apicid(const struct acrn_vlapic *vlapic); int32_t vlapic_create(struct acrn_vcpu *vcpu); /* * @pre vcpu != NULL