diff mbox series

[RFC,3/4] x86/hvm: quirks: address MISRA C:2012 Rule 9.3

Message ID 2ba4ba50b7460ff03f7c4e38aca17c9c24bcad39.1698155925.git.nicola.vetrini@bugseng.com (mailing list archive)
State New, archived
Headers show
Series address violations of MISRA C Rule 9.3 | expand

Commit Message

Nicola Vetrini Oct. 24, 2023, 2:31 p.m. UTC 
Partially explicitly initalized .matches arrays result in violations
of Rule 9.3; this is resolved by using designated initializers,
which is permitted by the Rule.

Mechanical changes.

Signed-off-by: Nicola Vetrini <nicola.vetrini@bugseng.com>
---
 xen/arch/x86/hvm/quirks.c | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)
diff mbox series

Patch

diff --git a/xen/arch/x86/hvm/quirks.c b/xen/arch/x86/hvm/quirks.c
index bd30b0f881cb..75c3fdc87749 100644
--- a/xen/arch/x86/hvm/quirks.c
+++ b/xen/arch/x86/hvm/quirks.c
@@ -37,40 +37,40 @@  static int __init cf_check check_port80(void)
             .callback = dmi_hvm_deny_port80,
             .ident    = "Compaq Presario V6000",
             .matches  = {
-                DMI_MATCH(DMI_BOARD_VENDOR, "Quanta"),
-                DMI_MATCH(DMI_BOARD_NAME,   "30B7")
+                [0] = DMI_MATCH(DMI_BOARD_VENDOR, "Quanta"),
+                [1] = DMI_MATCH(DMI_BOARD_NAME,   "30B7")
             }
         },
         {
             .callback = dmi_hvm_deny_port80,
             .ident    = "HP Pavilion dv9000z",
             .matches  = {
-                DMI_MATCH(DMI_BOARD_VENDOR, "Quanta"),
-                DMI_MATCH(DMI_BOARD_NAME,   "30B9")
+                [0] = DMI_MATCH(DMI_BOARD_VENDOR, "Quanta"),
+                [1] = DMI_MATCH(DMI_BOARD_NAME,   "30B9")
             }
         },
         {
             .callback = dmi_hvm_deny_port80,
             .ident    = "HP Pavilion dv6000",
             .matches  = {
-                DMI_MATCH(DMI_BOARD_VENDOR, "Quanta"),
-                DMI_MATCH(DMI_BOARD_NAME,   "30B8")
+                [0] = DMI_MATCH(DMI_BOARD_VENDOR, "Quanta"),
+                [1] = DMI_MATCH(DMI_BOARD_NAME,   "30B8")
             }
         },
         {
             .callback = dmi_hvm_deny_port80,
             .ident    = "HP Pavilion tx1000",
             .matches  = {
-                DMI_MATCH(DMI_BOARD_VENDOR, "Quanta"),
-                DMI_MATCH(DMI_BOARD_NAME,   "30BF")
+                [0] = DMI_MATCH(DMI_BOARD_VENDOR, "Quanta"),
+                [1] = DMI_MATCH(DMI_BOARD_NAME,   "30BF")
             }
         },
         {
             .callback = dmi_hvm_deny_port80,
             .ident    = "Presario F700",
             .matches  = {
-                DMI_MATCH(DMI_BOARD_VENDOR, "Quanta"),
-                DMI_MATCH(DMI_BOARD_NAME,   "30D3")
+                [0] = DMI_MATCH(DMI_BOARD_VENDOR, "Quanta"),
+                [1] = DMI_MATCH(DMI_BOARD_NAME,   "30D3")
             }
         },
         { }