/****************************************************************************/
#ifdef PI3_UART
-vm_offset_t pi3_gpio_base_vaddr = 0;
-vm_offset_t pi3_aux_base_vaddr = 0;
+static vm_offset_t pi3_gpio_base_vaddr = 0;
+static vm_offset_t pi3_aux_base_vaddr = 0;
static int
pi3_uart_tr0(void)
{
};
#endif /* PI3_UART */
+
+/*****************************************************************************/
+
+
/*****************************************************************************/
static void
}
#endif /* PI3_UART */
+
#ifdef DOCKCHANNEL_UART
uint32_t no_dockchannel_uart = 0;
if (SecureDTFindEntry("name", "dockchannel-uart", &entryP) == kSuccess) {