skra 0851edecae Local TLB flush is sufficient in pmap_remove_pages(). ...

(1) The pmap argument passed to the function must be current pmap only.
(2) The process must be single threaded as the function is called either
when a process is exiting or from exec_new_vmspace().

Remove pmap_tlb_flush_ng() which is not used anywhere now.

Approved by:	kib (mentor)

2015-12-15 16:04:45 +00:00

..

allwinner

Move the DRIVER_MODULE() statements that declare mmc(4) to be a child of

2015-12-14 01:09:25 +00:00

altera/socfpga

Create device options for the two common ARM timers.

2015-11-21 16:23:56 +00:00

amlogic/aml8726

Move the DRIVER_MODULE() statements that declare mmc(4) to be a child of

2015-12-14 01:09:25 +00:00

annapurna/alpine

Move more bus_space_* files to be built by files.arm. This leaves the

2015-11-21 15:30:08 +00:00

arm

Local TLB flush is sufficient in pmap_remove_pages().

2015-12-15 16:04:45 +00:00

at91

Move the DRIVER_MODULE() statements that declare mmc(4) to be a child of

2015-12-14 01:09:25 +00:00

broadcom/bcm2835

Move the DRIVER_MODULE() statements that declare mmc(4) to be a child of

2015-12-14 01:09:25 +00:00

cavium/cns11xx

Move more bus_space_* files to be built by files.arm. This leaves the

2015-11-21 15:30:08 +00:00

conf

ARM: option PPC_PROBE_CHIPSET is applicable only for x86. Don't enable it

2015-12-15 12:51:58 +00:00

freescale

Move the DRIVER_MODULE() statements that declare mmc(4) to be a child of

2015-12-14 01:09:25 +00:00

include

Local TLB flush is sufficient in pmap_remove_pages().

2015-12-15 16:04:45 +00:00

lpc

Move the DRIVER_MODULE() statements that declare mmc(4) to be a child of

2015-12-14 01:09:25 +00:00

mv

Move more bus_space_* files to be built by files.arm. This leaves the

2015-11-21 15:30:08 +00:00

qemu

Create device options for the two common ARM timers.

2015-11-21 16:23:56 +00:00

rockchip

Create device options for the two common ARM timers.

2015-11-21 16:23:56 +00:00

samsung/exynos

Add support for exynos5_ehci in loader

2015-11-27 18:22:04 +00:00

ti

Move the DRIVER_MODULE() statements that declare mmc(4) to be a child of

2015-12-14 01:09:25 +00:00

versatile

Move more bus_space_* files to be built by files.arm. This leaves the

2015-11-21 15:30:08 +00:00

xilinx

Create device options for the two common ARM timers.

2015-11-21 16:23:56 +00:00

xscale

Move more bus_space_* files to be built by files.arm. This leaves the

2015-11-21 15:30:08 +00:00