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

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

Completed in 31 milliseconds