[Xen-devel,4/8] xen/arm: Print whether Xen is booting using ACPI or DT

Message ID 1486149538-20432-9-git-send-email-julien.grall@arm.com
State New
Headers show
Series
  • Untitled series #334
Related show

Commit Message

Julien Grall Feb. 3, 2017, 7:18 p.m.
Make it easier to figure out whether Xen is booting using ACPI or DT by
printing a message on the console.

Signed-off-by: Julien Grall <julien.grall@arm.com>
---
 xen/arch/arm/setup.c | 5 +++++
 1 file changed, 5 insertions(+)

Comments

Stefano Stabellini Feb. 16, 2017, 1:42 a.m. | #1
On Fri, 3 Feb 2017, Julien Grall wrote:
> Make it easier to figure out whether Xen is booting using ACPI or DT by
> printing a message on the console.
> 
> Signed-off-by: Julien Grall <julien.grall@arm.com>

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


> ---
>  xen/arch/arm/setup.c | 5 +++++
>  1 file changed, 5 insertions(+)
> 
> diff --git a/xen/arch/arm/setup.c b/xen/arch/arm/setup.c
> index 049e449..41aa1dd 100644
> --- a/xen/arch/arm/setup.c
> +++ b/xen/arch/arm/setup.c
> @@ -753,6 +753,11 @@ void __init start_xen(unsigned long boot_phys_offset,
>      /* Parse the ACPI tables for possible boot-time configuration */
>      acpi_boot_table_init();
>  
> +    if ( acpi_disabled )
> +        printk("Booting using Device Tree\n");
> +    else
> +        printk("Booting using ACPI\n");
> +
>      end_boot_allocator();
>  
>      vm_init();
> -- 
> 1.9.1
>

Patch

diff --git a/xen/arch/arm/setup.c b/xen/arch/arm/setup.c
index 049e449..41aa1dd 100644
--- a/xen/arch/arm/setup.c
+++ b/xen/arch/arm/setup.c
@@ -753,6 +753,11 @@  void __init start_xen(unsigned long boot_phys_offset,
     /* Parse the ACPI tables for possible boot-time configuration */
     acpi_boot_table_init();
 
+    if ( acpi_disabled )
+        printk("Booting using Device Tree\n");
+    else
+        printk("Booting using ACPI\n");
+
     end_boot_allocator();
 
     vm_init();