Stefan Lankes be3eed681e use the correct data type for the CR4 register		2012-06-13 11:23:05 +02:00
..
x86	use the correct data type for the CR4 register	2012-06-13 11:23:05 +02:00