Searched refs:cacheline_mask (Results 1 – 1 of 1) sorted by relevance
148 size_t cacheline_mask = cacheline_bytes - 1; in invalidate_dcache_va_range() local152 if ( (uintptr_t)p & cacheline_mask ) in invalidate_dcache_va_range()154 p = (void *)((uintptr_t)p & ~cacheline_mask); in invalidate_dcache_va_range()158 if ( (uintptr_t)end & cacheline_mask ) in invalidate_dcache_va_range()160 end = (void *)((uintptr_t)end & ~cacheline_mask); in invalidate_dcache_va_range()
Completed in 2 milliseconds