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

[Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>]

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@xxxxxxxxxxx>
---
 xen/arch/x86/hvm/quirks.c | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

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")
             }
         },
         { }
-- 
2.34.1