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
..
ep80219_machdep.c	When mapping device memory, use PTE_DEVICE rather than PTE_NOCACHE.	2014-05-10 20:03:03 +00:00
files.ep80219
files.i80219	Eliminate irq_dispatch.S. Move the data items it contained into arm/intr.c	2014-03-10 18:10:09 +00:00
files.i80321	Eliminate irq_dispatch.S. Move the data items it contained into arm/intr.c	2014-03-10 18:10:09 +00:00
files.iq31244
i80321_aau.c
i80321_dma.c
i80321_intr.h
i80321_mcu.c
i80321_pci.c	Remove all #include <machine/pmap.h> from arm code. It's already	2013-10-27 00:51:46 +00:00
i80321_space.c	Replace kernel virtual address space allocation with vmem. This provides	2013-08-07 06:21:20 +00:00
i80321_timer.c
i80321_wdog.c
i80321.c
i80321reg.h
i80321var.h
iq31244_7seg.c
iq31244_machdep.c	When mapping device memory, use PTE_DEVICE rather than PTE_NOCACHE.	2014-05-10 20:03:03 +00:00
iq80321.c	Hints-only devices should return BUS_PROBE_NOWILDCARD from their probe	2013-10-29 13:52:05 +00:00
iq80321reg.h
iq80321var.h
obio_space.c
obio.c
obiovar.h
std.ep80219
std.i80219
std.i80321
std.iq31244
uart_bus_i80321.c
uart_cpu_i80321.c