seL4/include/arch
Adrian Danis 30738188db x86: modeUnmapPage returns whether or not tlb needs invalidation
Whilst it is always correct to invalidate the TLB even if no page was unampped this
provides a small optimization and makes the modeUnmapPage behaviour mirror the general
arch behaviour
2018-03-15 09:47:31 +11:00
..
arm arm: Remove duplicate extern declarations. 2018-03-14 20:26:13 +11:00
x86/arch x86: modeUnmapPage returns whether or not tlb needs invalidation 2018-03-15 09:47:31 +11:00