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: fix MISRA-C issues related to space or newline

Browse Source 
This patch fixes the following issues:
- No newline after semi colon.
- No space after semi colon in for expression.
- No space between if, while, for and expresn.

v1 -> v2:
 * Fix the typo for the for loop change.

Tracked-On: #861
Signed-off-by: Shiqing Gao <shiqing.gao@intel.com>
This commit is contained in:
Shiqing Gao 2018-08-24 08:56:15 +08:00 committed by lijinxia
parent d67eefb012
commit 96dba0d8fe
3 changed files with 18 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
hypervisor/arch/x86/guest/guest.c
View File

@ -255,7 +255,7 @@ int gva2gpa(struct vcpu *vcpu, uint64_t gva, uint64_t *gpa,
if (pm == PAGING_MODE_4_LEVEL) {
pw_info.width = 9U;
ret = local_gva2gpa_common(vcpu, &pw_info, gva, gpa, err_code);
} else if(pm == PAGING_MODE_3_LEVEL) {
} else if (pm == PAGING_MODE_3_LEVEL) {
pw_info.width = 9U;
ret = local_gva2gpa_pae(vcpu, &pw_info, gva, gpa, err_code);
} else if (pm == PAGING_MODE_2_LEVEL) {

2
hypervisor/arch/x86/vtd.c
View File

@ -327,7 +327,7 @@ static uint8_t dmar_uint_get_msagw(struct dmar_drhd_rt *dmar_uint)
uint8_t i;
uint8_t sgaw = iommu_cap_sagaw(dmar_uint->cap);
for (i = 5U; i > 0U;) {
for (i = 5U; i > 0U; ) {
i--;
if (((1U << i) & sgaw) != 0U) {
break;

24
hypervisor/debug/shell.c
View File

@ -536,13 +536,17 @@ static int shell_list_vm(__unused int argc, __unused char **argv)
vm = list_entry(pos, struct vm, list);
switch (vm->state) {
case VM_CREATED:
(void)strcpy_s(state, 32, "Created"); break;
(void)strcpy_s(state, 32, "Created");
break;
case VM_STARTED:
(void)strcpy_s(state, 32, "Started"); break;
(void)strcpy_s(state, 32, "Started");
break;
case VM_PAUSED:
(void)strcpy_s(state, 32, "Paused"); break;
(void)strcpy_s(state, 32, "Paused");
break;
default:
(void)strcpy_s(state, 32, "Unknown"); break;
(void)strcpy_s(state, 32, "Unknown");
break;
}
/* Create output string consisting of VM name and VM id
*/
@ -577,13 +581,17 @@ static int shell_list_vcpu(__unused int argc, __unused char **argv)
foreach_vcpu(i, vm, vcpu) {
switch (vcpu->state) {
case VCPU_INIT:
(void)strcpy_s(state, 32, "Init"); break;
(void)strcpy_s(state, 32, "Init");
break;
case VCPU_PAUSED:
(void)strcpy_s(state, 32, "Paused"); break;
(void)strcpy_s(state, 32, "Paused");
break;
case VCPU_RUNNING:
(void)strcpy_s(state, 32, "Running"); break;
(void)strcpy_s(state, 32, "Running");
break;
case VCPU_ZOMBIE:
(void)strcpy_s(state, 32, "Zombie"); break;
(void)strcpy_s(state, 32, "Zombie");
break;
default:
(void)strcpy_s(state, 32, "Unknown");
}