#------------------------------------------------------------------------------
#*
-#* Copyright 2009 - 2010, Intel Corporation
-#* All rights reserved. This program and the accompanying materials
+#* Copyright (c) 2009 - 2010, Intel Corporation. All rights reserved.<BR>
+#* This program and the accompanying materials
#* are licensed and made available under the terms and conditions of the BSD License
#* which accompanies this distribution. The full text of the license may be found at
#* http://opensource.org/licenses/bsd-license.php
# Set OSFXSR bit 9 in CR4
#
movq %cr4, %rax
- or $200, %rax
+ or $0x200, %rax
movq %rax, %cr4
#