Symbol: arch_acpi_get_uart_pl011
src/system/boot/platform/efi/arch/arm64/arch_acpi.cpp
47
arch_acpi_get_uart_pl011(uart);
src/system/boot/platform/efi/arch/arm64/arch_acpi.cpp
75
arch_acpi_get_uart_pl011(uart);