Searched refs:cacheline_bytes (Results 1 – 4 of 4) sorted by relevance
137 extern size_t cacheline_bytes;148 size_t cacheline_mask = cacheline_bytes - 1; in invalidate_dcache_va_range()156 p += cacheline_bytes; in invalidate_dcache_va_range()164 for ( ; p < end; p += cacheline_bytes ) in invalidate_dcache_va_range()176 p = (void *)((uintptr_t)p & ~(cacheline_bytes - 1)); in clean_dcache_va_range()177 for ( ; p < end; p += cacheline_bytes ) in clean_dcache_va_range()189 p = (void *)((uintptr_t)p & ~(cacheline_bytes - 1)); in clean_and_invalidate_dcache_va_range()190 for ( ; p < end; p += cacheline_bytes ) in clean_and_invalidate_dcache_va_range()
683 size_t __read_mostly cacheline_bytes; variable695 cacheline_bytes = 1U << (4 + (ccsid & 0x7)); in setup_cache()
507 ldr r6, =cacheline_bytes /* r6 := step */
642 ldr x10, =cacheline_bytes /* x10 := step */
Completed in 13 milliseconds