HV: trival changes to meet MISRA
add for routines and bracks for condition checking in vlapic.c
Acked-by: Eddie Dong
@@ -124,6 +124,9 @@ static uint16_t vm_apicid2vcpu_id(struct acrn_vm *vm, uint8_t lapicid)
return get_pcpu_nums();
}
+/*
+ * @pre vlapic != NULL
+ */
static uint64_t
vm_active_cpus(const struct acrn_vm *vm)
{
@@ -138,6 +141,9 @@ vm_active_cpus(const struct acrn_vm *vm)
return dmask;
}
+/*
+ * @pre vlapic != NULL
+ */
uint32_t
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;
- 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;
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)
{
bool ret;
