sys/arch/aarch64/aarch64/aarch64_machdep.c

771

cpu_dcache_wbinv_all();

sys/arch/arm/arm32/arm32_boot.c

343

cpu_dcache_wbinv_all();

sys/arch/arm/arm32/pmap.c

6123

cpu_dcache_wbinv_all();

sys/arch/arm/arm32/pmap.c

6453

cpu_dcache_wbinv_all();

sys/arch/arm/arm32/pmap.c

6571

cpu_dcache_wbinv_all();

sys/arch/arm/arm32/pmap.c

872

cpu_dcache_wbinv_all();

sys/arch/arm/arm32/stubs.c

228

cpu_dcache_wbinv_all();

sys/arch/arm/fdt/cpu_fdt.c

314

cpu_dcache_wbinv_all();

sys/arch/arm/rockchip/rk3066_smp.c

150

cpu_dcache_wbinv_all();

sys/arch/hpcarm/dev/nbppcon.c

218

cpu_dcache_wbinv_all(); /* XXXX: Why? */

sys/dev/acpi/acpica/acpi_func.h

91

#define ACPI_FLUSH_CPU_CACHE() cpu_dcache_wbinv_all()