Function dcache_wb_pou

freebsd/arm/include/cpu-v6.h:509–524

Write back D-cache to PoU */

/* Write back D-cache to PoU */
static __inline void
dcache_wb_pou(vm_offset_t va, vm_size_t size)
{
	vm_offset_t eva = va + size;

	dsb();
	va &= ~cpuinfo.dcache_line_mask;
	for ( ; va < eva; va += cpuinfo.dcache_line_size) {
#if __ARM_ARCH >= 7
		_CP15_DCCMVAU(va);
#else
		_CP15_DCCMVAC(va);
#endif
	}
	dsb();
}

/*
 * Invalidate D-cache to PoC