diff options
| author | Lucas Stach <l.stach@pengutronix.de> | 2014-07-06 23:43:28 +0200 |
|---|---|---|
| committer | Sascha Hauer <s.hauer@pengutronix.de> | 2014-07-22 22:20:53 +0200 |
| commit | 24196832062b684ffeaa74731a58f62e4e5d70fd (patch) | |
| tree | f717248cad493c8ffbe890c0233460852a3d8249 /common/filetype.c | |
| parent | 2671c30c2520e65779da55b62d32fe4f8cdd12fc (diff) | |
| download | barebox-24196832062b684ffeaa74731a58f62e4e5d70fd.tar.gz barebox-24196832062b684ffeaa74731a58f62e4e5d70fd.tar.xz | |
mmu: flush ttb in map_io_sections
We need to flush out the ttb in order to make the
changes observable to the page walker.
Signed-off-by: Lucas Stach <l.stach@pengutronix.de>
Signed-off-by: Sascha Hauer <s.hauer@pengutronix.de>
Diffstat (limited to 'common/filetype.c')
0 files changed, 0 insertions, 0 deletions