21 lines
395 B
C
21 lines
395 B
C
#include "utils.h"
|
|
#include "memory_map.h"
|
|
|
|
uintptr_t get_warmboot_crt0_stack_address(void);
|
|
|
|
void flush_dcache_all_tzram_pa(void) {
|
|
/* TODO */
|
|
}
|
|
|
|
void invalidate_icache_all_tzram_pa(void) {
|
|
/* TODO */
|
|
}
|
|
|
|
uintptr_t get_warmboot_crt0_stack_address(void) {
|
|
return TZRAM_GET_SEGMENT_PA(TZRAM_SEGMENT_ID_CORE012_STACK) + 0x800;
|
|
}
|
|
|
|
void warmboot_init(void) {
|
|
/* TODO: Implement. */
|
|
}
|