Home
last modified time | relevance | path

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

/seL4-master/src/arch/arm/armv/armv7-a/
A Dcache.c14 static inline void cleanInvalidateByWSL(word_t wsl) in cleanInvalidateByWSL() function
104 cleanInvalidateByWSL((w << (32 - assoc_bits)) | in cleanInvalidate_D_by_level()
/seL4-master/src/arch/arm/armv/armv8-a/64/
A Dcache.c14 static inline void cleanInvalidateByWSL(word_t wsl) in cleanInvalidateByWSL() function
87 cleanInvalidateByWSL((w << (32 - assoc_bits)) | in cleanInvalidate_D_by_level()
/seL4-master/src/arch/arm/armv/armv8-a/32/
A Dcache.c14 static inline void cleanInvalidateByWSL(word_t wsl) in cleanInvalidateByWSL() function
104 cleanInvalidateByWSL((w << (32 - assoc_bits)) | in cleanInvalidate_D_by_level()

Completed in 4 milliseconds