diff mbox series

x86/shutdown: use DMI_MATCH2()

Message ID 71df7167-fa92-405e-bf5b-a307e990e5a3@suse.com (mailing list archive)
State New
Headers show
Series x86/shutdown: use DMI_MATCH2() | expand

Commit Message

Jan Beulich Aug. 5, 2024, 10:23 a.m. UTC
... to please Misra C:2012 Rule 9.3 (Arrays shall not be partially
initialized).

Fixes: d81dd3130351 ("x86/shutdown: change default reboot method preference")
Signed-off-by: Jan Beulich <jbeulich@suse.com>
---
Cc-ing REST since the two other x86 maintainers are away, yet the CI will
want fixing.

Comments

Stefano Stabellini Aug. 5, 2024, 9:01 p.m. UTC | #1
On Mon, 5 Aug 2024, Jan Beulich wrote:
> ... to please Misra C:2012 Rule 9.3 (Arrays shall not be partially
> initialized).
> 
> Fixes: d81dd3130351 ("x86/shutdown: change default reboot method preference")
> Signed-off-by: Jan Beulich <jbeulich@suse.com>

Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>



> ---
> Cc-ing REST since the two other x86 maintainers are away, yet the CI will
> want fixing.
> 
> --- a/xen/arch/x86/shutdown.c
> +++ b/xen/arch/x86/shutdown.c
> @@ -498,10 +498,9 @@ static const struct dmi_system_id __init
>          .callback = override_reboot,
>          .driver_data = (void *)(long)BOOT_EFI,
>          .ident = "Acer TravelMate X514-51T",
> -        .matches = {
> +        DMI_MATCH2(
>              DMI_MATCH(DMI_SYS_VENDOR, "Acer"),
> -            DMI_MATCH(DMI_PRODUCT_NAME, "TravelMate X514-51T"),
> -        },
> +            DMI_MATCH(DMI_PRODUCT_NAME, "TravelMate X514-51T")),
>      },
>      { }
>  };
>
diff mbox series

Patch

--- a/xen/arch/x86/shutdown.c
+++ b/xen/arch/x86/shutdown.c
@@ -498,10 +498,9 @@  static const struct dmi_system_id __init
         .callback = override_reboot,
         .driver_data = (void *)(long)BOOT_EFI,
         .ident = "Acer TravelMate X514-51T",
-        .matches = {
+        DMI_MATCH2(
             DMI_MATCH(DMI_SYS_VENDOR, "Acer"),
-            DMI_MATCH(DMI_PRODUCT_NAME, "TravelMate X514-51T"),
-        },
+            DMI_MATCH(DMI_PRODUCT_NAME, "TravelMate X514-51T")),
     },
     { }
 };