Stefan Lankes e1c3ddbc8d use irqsave page directory lock to avoid deadlocks		2012-09-10 13:41:00 +02:00
..
x86	use irqsave page directory lock to avoid deadlocks	2012-09-10 13:41:00 +02:00