Searched defs:cache_flush_range (Results 1 - 3 of 3) sorted by relevance

/barrelfish-2018-10-04/include/arch/aarch64/barrelfish_kpi/
H A Dunknown_arch.h32 static inline void cache_flush_range(void *base, size_t len) function
/barrelfish-2018-10-04/include/arch/arm/barrelfish_kpi/
H A Dunknown_arch.h32 static inline void cache_flush_range(void *base, size_t len) function
/barrelfish-2018-10-04/include/arch/x86/barrelfish_kpi/
H A Dasm_inlines_arch.h82 static inline void cache_flush_range(void *base, size_t len) function

Completed in 44 milliseconds