Ian Lepore b8821f8415 When mapping device memory, use PTE_DEVICE rather than PTE_NOCACHE. ... On armv4 these are defined as synonyms right now, but it's a bit ambiguous what NOCACHE means (is buffering/write-combining also enabled or not?); this is a first step towards replacing PTE_NOCACHE with a less ambiguous name.		2014-05-10 20:03:03 +00:00
..
board_ln2410sbc.c
files.s3c2xx0	Eliminate irq_dispatch.S. Move the data items it contained into arm/intr.c	2014-03-10 18:10:09 +00:00
s3c2xx0_space.c
s3c2xx0board.h
s3c2xx0reg.h
s3c2xx0var.h
s3c24x0_clk.c
s3c24x0_machdep.c	When mapping device memory, use PTE_DEVICE rather than PTE_NOCACHE.	2014-05-10 20:03:03 +00:00
s3c24x0_rtc.c
s3c24x0.c
s3c24x0reg.h
s3c24x0var.h
s3c2410reg.h
s3c2410var.h
s3c2440reg.h
std.ln2410sbc
std.s3c2410
uart_bus_s3c2410.c
uart_cpu_s3c2410.c
uart_dev_s3c2410.c
uart_dev_s3c2410.h