[Bug 246552] aarch64 ACPI detection fails on some platforms

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=246552

Mark Millard <marklmi26-fbsd at yahoo.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marklmi26-fbsd at yahoo.com

--- Comment #1 from Mark Millard <marklmi26-fbsd at yahoo.com> ---
(In reply to Greg V from comment #0)

Have you tried a verbose boot for the RPi4 to see if
you get messages like in the code below?

vm_paddr_t
acpi_find_table(const char *sig)
{
. . .
        rsdp = pmap_mapbios(rsdp_ptr, sizeof(ACPI_TABLE_RSDP));
        if (rsdp == NULL) {
                if (bootverbose)
                        printf("ACPI: Failed to map RSDP\n");
                return (0);
        }
. . .

(There are other messages possible. It is just an
example.)

The same sort of point would go for Dan K. for the
LX2K/CEX7 context.

If such messages are produced, it might help give more
of a hint what is going on. If none are produced, that
may have implications for what the code sequence was
that might also help identifying the issue(s).

-- 
You are receiving this mail because:
You are the assignee for the bug.