Searched refs:start_addr_ptr (Results 1 – 1 of 1) sorted by relevance
68 int arch_dcache_flush_range(void *start_addr_ptr, size_t size) in arch_dcache_flush_range() argument71 uintptr_t start_addr = (uintptr_t)start_addr_ptr; in arch_dcache_flush_range()105 int arch_dcache_invd_range(void *start_addr_ptr, size_t size) in arch_dcache_invd_range() argument108 uintptr_t start_addr = (uintptr_t)start_addr_ptr; in arch_dcache_invd_range()132 int arch_dcache_flush_and_invd_range(void *start_addr_ptr, size_t size) in arch_dcache_flush_and_invd_range() argument
