xen mmu: fix a race window causing leave_mm BUG()
[linux-flexiantxendom0-natty.git] / lib / prio_tree.c
2005-04-16 Linus TorvaldsLinux-2.6.12-rc2