2020-01-09 05:18:10 +08:00
|
|
|
/* SPDX-License-Identifier: Apache-2.0 */
|
|
|
|
/*
|
|
|
|
* Copyright 2018 Broadcom.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <device.h>
|
|
|
|
#include <init.h>
|
|
|
|
#include <soc.h>
|
|
|
|
#include <arch/cpu.h>
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @brief Perform basic hardware initialization at boot.
|
|
|
|
*
|
|
|
|
* This needs to be run from the very beginning.
|
|
|
|
* So the init priority has to be 0 (zero).
|
|
|
|
*
|
|
|
|
* @return 0
|
|
|
|
*/
|
2020-05-01 02:33:38 +08:00
|
|
|
static int valkyrie_init(const struct device *arg)
|
2020-01-09 05:18:10 +08:00
|
|
|
{
|
2020-05-28 00:26:57 +08:00
|
|
|
uint32_t key;
|
2020-01-09 05:18:10 +08:00
|
|
|
|
|
|
|
ARG_UNUSED(arg);
|
|
|
|
|
|
|
|
key = irq_lock();
|
|
|
|
|
|
|
|
NMI_INIT();
|
|
|
|
|
|
|
|
irq_unlock(key);
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
SYS_INIT(valkyrie_init, PRE_KERNEL_1, 0);
|