dcache_flush 289 kernel/arch/arm32/src/cpu/cpu.c void dcache_flush(void) dcache_flush 37 kernel/arch/arm64/src/start.S .macro dcache_flush addr size temp0 temp1