kernel-ark/arch/avr32
Haavard Skinnemoen 68ca3e537f [AVR32] Fix copy_to_user_page() breakage
The current implementation of copy_to_user_page() gives "vaddr" to the
cache instruction when trying to sync the icache with the dcache. If
vaddr does not exist in the TLB, the CPU will silently abort the
operation, which may result in the caches staying out of sync.

To fix this, pass the "dst" parameter to flush_icache_range() instead
-- we know this is valid because we just wrote to it.

Signed-off-by: Haavard Skinnemoen <hskinnemoen@atmel.com>
2007-12-07 14:54:47 +01:00
..
boards [AVR32] Wire up AT73C213 sound driver on ATSTK1000 board 2007-10-23 11:19:14 +02:00
boot
configs
kernel [AVR32] Follow the rules when dealing with the OCD system 2007-12-07 14:54:46 +01:00
lib
mach-at32ap [AVR32] Export intc_get_pending symbol 2007-11-15 13:47:20 +01:00
mm [AVR32] Fix copy_to_user_page() breakage 2007-12-07 14:54:47 +01:00
Kconfig [AVR32] Implement irqflags trace and lockdep support 2007-12-07 14:52:37 +01:00
Kconfig.debug
Makefile kbuild: enable 'make AFLAGS=...' to add additional options to AS 2007-10-15 21:59:31 +02:00