2019-07-29 21:38:44 +01:00
|
|
|
#pragma once
|
|
|
|
|
|
2019-08-01 01:58:16 +01:00
|
|
|
#include "types.h"
|
|
|
|
|
|
2019-07-29 21:38:44 +01:00
|
|
|
void flush_dcache_all(void);
|
|
|
|
|
void invalidate_dcache_all(void);
|
|
|
|
|
|
|
|
|
|
void flush_dcache_range(const void *start, const void *end);
|
|
|
|
|
void invalidate_dcache_range(const void *start, const void *end);
|
|
|
|
|
|
|
|
|
|
void invalidate_icache_all_inner_shareable(void);
|
|
|
|
|
void invalidate_icache_all(void);
|
2019-08-01 01:58:16 +01:00
|
|
|
|
|
|
|
|
void set_memory_registers_enable_mmu(uintptr_t ttbr0, u64 tcr, u64 mair);
|
2019-08-02 04:12:24 +01:00
|
|
|
void set_memory_registers_enable_stage2(uintptr_t vttbr, u64 vtcr);
|
2019-08-05 22:49:25 +01:00
|
|
|
|
|
|
|
|
void initBreakpointRegs(size_t num);
|
|
|
|
|
void initWatchpointRegs(size_t num);
|
