Lines Matching refs:addr_t
38 void arch_clean_cache_range(addr_t start, size_t len) { in arch_clean_cache_range()
39 addr_t end = start + len; in arch_clean_cache_range()
48 void arch_clean_invalidate_cache_range(addr_t start, size_t len) { in arch_clean_invalidate_cache_range()
49 addr_t end = start + len; in arch_clean_invalidate_cache_range()
58 void arch_invalidate_cache_range(addr_t start, size_t len) { in arch_invalidate_cache_range()
59 addr_t end = start + len; in arch_invalidate_cache_range()
71 void arch_sync_cache_range(addr_t start, size_t len) { in arch_sync_cache_range()
88 void arch_clean_cache_range(addr_t start, size_t len) { in arch_clean_cache_range()
92 void arch_clean_invalidate_cache_range(addr_t start, size_t len) { in arch_clean_invalidate_cache_range()
96 void arch_invalidate_cache_range(addr_t start, size_t len) { in arch_invalidate_cache_range()
103 void arch_sync_cache_range(addr_t start, size_t len) { in arch_sync_cache_range()