* i386/i386at/acpi_parse_apci.c (acpi_print_info):  %lx -> %llx

i386/i386at/acpi_parse_apic.c: In function 'acpi_print_info':
i386/i386at/acpi_parse_apic.c:51:25: warning: format '%lx' expects argument of 
type 'long unsigned int', but argument 2 has type 'phys_addr_t' {aka 'long long 
unsigned int'} [-Wformat=]
   51 |     printf(" rsdp = 0x%lx\n", rsdp);
      |                       ~~^     ~~~~
      |                         |     |
      |                         |     phys_addr_t {aka long long unsigned int}
      |                         long unsigned int
      |                       %llx
---
 i386/i386at/acpi_parse_apic.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/i386/i386at/acpi_parse_apic.c b/i386/i386at/acpi_parse_apic.c
index 1cfc1791..24470426 100644
--- a/i386/i386at/acpi_parse_apic.c
+++ b/i386/i386at/acpi_parse_apic.c
@@ -48,7 +48,7 @@ acpi_print_info(phys_addr_t rsdp, void *rsdt, int acpi_rsdt_n)
 {
 
     printf("ACPI:\n");
-    printf(" rsdp = 0x%lx\n", rsdp);
+    printf(" rsdp = 0x%llx\n", rsdp);
     printf(" rsdt/xsdt = 0x%p (n = %d)\n", rsdt, acpi_rsdt_n);
 }
 
-- 
2.45.2


Reply via email to