20 lines
414 B
C
20 lines
414 B
C
|
/* *
|
||
|
|
* Copyright (c) CompanyNameMagicTag 2018-2019. All rights reserved.
|
||
|
|
* Description: upg common head file
|
||
|
|
* Author: CompanyName
|
||
|
|
* Create: 2018-10-31
|
||
|
|
*/
|
||
|
|
|
||
|
|
#ifndef __UPG_TEMP_H__
|
||
|
|
#define __UPG_TEMP_H__
|
||
|
|
|
||
|
|
#include <soc_types.h>
|
||
|
|
|
||
|
|
extern void boot_kernel(uintptr_t kaddr);
|
||
|
|
extern int do_reset(int, int, int, int);
|
||
|
|
|
||
|
|
td_void boot_firmware_new(td_u32 flash_offset);
|
||
|
|
void boot_reset(void);
|
||
|
|
|
||
|
|
#endif
|