Kevin
68d74d3181
submodule of avionic design uboot bootloader and with included tools to get you started , read readme.md and readme-tk1-loader.md
22 lines
459 B
C
22 lines
459 B
C
/*
|
|
* Copyright (c) 2016, NVIDIA CORPORATION.
|
|
*
|
|
* SPDX-License-Identifier: GPL-2.0
|
|
*/
|
|
|
|
#ifndef __SANDBOX_RESET_H
|
|
#define __SANDBOX_RESET_H
|
|
|
|
#include <common.h>
|
|
|
|
struct udevice;
|
|
|
|
int sandbox_reset_query(struct udevice *dev, unsigned long id);
|
|
|
|
int sandbox_reset_test_get(struct udevice *dev);
|
|
int sandbox_reset_test_assert(struct udevice *dev);
|
|
int sandbox_reset_test_deassert(struct udevice *dev);
|
|
int sandbox_reset_test_free(struct udevice *dev);
|
|
|
|
#endif
|