github/acrn-hypervisor
1
0
Fork 0
mirror of https://github.com/projectacrn/acrn-hypervisor.git synced 2025-06-18 19:57:31 +00:00
Code Issues Projects Releases Wiki Activity

HV: trival changes to meet MISRA

Browse Source 
add @pre for routines and bracks for condition checking in vlapic.c

Tracked-On: #861
Signed-off-by: Chaohong guo <chaohong.guo@intel.com>
Acked-by: Eddie Dong <eddie.dong@intel.com>
This commit is contained in:
Chaohong guo 2018-12-29 10:45:49 +08:00 committed by wenlingz
parent 971eb84c20
commit 2e01b4c8dc
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
hypervisor/arch/x86/guest/vlapic.c
View File

@ -124,6 +124,9 @@ static uint16_t vm_apicid2vcpu_id(struct acrn_vm *vm, uint8_t lapicid)
return get_pcpu_nums(); return get_pcpu_nums();
} }
/*
* @pre vlapic != NULL
*/
static uint64_t static uint64_t
vm_active_cpus(const struct acrn_vm *vm) vm_active_cpus(const struct acrn_vm *vm)
{ {
@ -138,6 +141,9 @@ vm_active_cpus(const struct acrn_vm *vm)
return dmask; return dmask;
} }
/*
* @pre vlapic != NULL
*/
uint32_t uint32_t
vlapic_get_apicid(const struct acrn_vlapic *vlapic) vlapic_get_apicid(const struct acrn_vlapic *vlapic)
{ {
@ -350,7 +356,7 @@ static uint32_t vlapic_get_ccr(const struct acrn_vlapic *vlapic)
vtimer = &vlapic->vtimer; vtimer = &vlapic->vtimer;
if ((vtimer->tmicr != 0U) && !vlapic_lvtt_tsc_deadline(vlapic)) { if ((vtimer->tmicr != 0U) && (!vlapic_lvtt_tsc_deadline(vlapic))) {
uint64_t fire_tsc = vtimer->timer.fire_tsc; uint64_t fire_tsc = vtimer->timer.fire_tsc;
if (now < fire_tsc) { if (now < fire_tsc) {
@ -2049,6 +2055,9 @@ static void vlapic_timer_expired(void *data)
} }
} }
/*
* @pre vm != NULL
*/
static inline bool is_x2apic_enabled(const struct acrn_vlapic *vlapic) static inline bool is_x2apic_enabled(const struct acrn_vlapic *vlapic)
{ {
bool ret; bool ret;