T381: x86_64: properly handle racy page table allocations in pmap code
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 31 Jul 2017 14:11:31 +0000 (16:11 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 29 Aug 2017 06:42:33 +0000 (08:42 +0200)
commit52c8f5319d0354f0dcd8a17fc93eefcbb69b3486
tree40ce801445a48351e9d3bce120e4ced9cdef863f
parenta77abee3d530bb3088c42bd9f7121d554fba5484
T381: x86_64: properly handle racy page table allocations in pmap code

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
lib/barrelfish/target/x86_64/pmap_target.c