Home
last modified time | relevance | path

Searched refs:cleanInvalidate_D_by_level (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/arch/arm/armv/armv7-a/
A Dcache.c91 static inline void cleanInvalidate_D_by_level(int l) in cleanInvalidate_D_by_level() function
118 cleanInvalidate_D_by_level(l); in cleanInvalidate_D_PoC()
125 cleanInvalidate_D_by_level(0); in cleanInvalidate_L1D()
/seL4-master/src/arch/arm/armv/armv8-a/64/
A Dcache.c77 static inline void cleanInvalidate_D_by_level(int l) in cleanInvalidate_D_by_level() function
100 cleanInvalidate_D_by_level(l); in cleanInvalidate_D_PoC()
107 cleanInvalidate_D_by_level(0); in cleanInvalidate_L1D()
/seL4-master/src/arch/arm/armv/armv8-a/32/
A Dcache.c91 static inline void cleanInvalidate_D_by_level(int l) in cleanInvalidate_D_by_level() function
118 cleanInvalidate_D_by_level(l); in cleanInvalidate_D_PoC()
125 cleanInvalidate_D_by_level(0); in cleanInvalidate_L1D()

Completed in 4 milliseconds