2018-05-06 21:58:06 +00:00
|
|
|
// SPDX-License-Identifier: GPL-2.0+
|
2018-02-03 09:30:28 +00:00
|
|
|
/*
|
2019-08-30 10:00:42 +00:00
|
|
|
* Copyright (C) 2018 Álvaro Fernández Rojas <noltari@gmail.com>
|
2018-02-03 09:30:28 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#include <common.h>
|
|
|
|
|
#include <asm/io.h>
|
|
|
|
|
|
|
|
|
|
#define GPIO_BASE_6362 0x10000080
|
|
|
|
|
|
|
|
|
|
#define GPIO_MODE_6362_REG 0x18
|
|
|
|
|
#define GPIO_MODE_6362_SERIAL_LED_DATA BIT(2)
|
|
|
|
|
#define GPIO_MODE_6362_SERIAL_LED_CLK BIT(3)
|
|
|
|
|
|
|
|
|
|
#ifdef CONFIG_BOARD_EARLY_INIT_F
|
|
|
|
|
int board_early_init_f(void)
|
|
|
|
|
{
|
|
|
|
|
void __iomem *gpio_regs = map_physmem(GPIO_BASE_6362, 0, MAP_NOCACHE);
|
|
|
|
|
|
|
|
|
|
/* Enable Serial LEDs */
|
|
|
|
|
setbits_be32(gpio_regs + GPIO_MODE_6362_REG,
|
|
|
|
|
GPIO_MODE_6362_SERIAL_LED_DATA |
|
|
|
|
|
GPIO_MODE_6362_SERIAL_LED_CLK);
|
|
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
|
}
|
|
|
|
|
#endif
|
