18#ifndef TARGET_DCACHE_H
19#define TARGET_DCACHE_H
int target_dcache_init_p(void)
void target_dcache_invalidate(void)
DCACHE * target_dcache_get(void)
DCACHE * target_dcache_get_or_init(void)
int stack_cache_enabled_p(void)
int code_cache_enabled_p(void)