Copyright (c) 2009 - 2010, Intel Corporation. All rights reserved. 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 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. __debugbreak 4002 __readmsr 4002 __writemsr 4002 _InterlockedCompareExchange 4002 _InterlockedCompareExchange64 4002 _InterlockedDecrement 4002 _InterlockedIncrement 4002 _break 4002 _inp 4002 _inpw 4002 _inpd 4002 _outp 4002 _outpw 4002 _outpd 4002 _ReadWriteBarrier 4002 InternalX86DisablePaging32 4002 InternalX86EnablePaging32 4002 InternalLongJump 4002 SetJump 4002 __debugbreak 5001 __readmsr 5001 __writemsr 5001 _InterlockedCompareExchange 5001 _InterlockedCompareExchange64 5001 _InterlockedDecrement 5001 _InterlockedIncrement 5001 _inp 5001 _inpw 5001 _inpd 5001 _outp 5001 _outpw 5001 _outpd 5001 _ReadWriteBarrier 5001 IoRead8 5001 IoWrite8 5001 IoRead16 5001 IoWrite16 5001 IoRead32 5001 IoWrite32 5001 __debugbreak 5003 __readmsr 5003 __writemsr 5003 _InterlockedCompareExchange 5003 _InterlockedCompareExchange64 5003 _InterlockedDecrement 5003 _InterlockedIncrement 5003 _inp 5003 _inpw 5003 _inpd 5003 _outp 5003 _outpw 5003 _outpd 5003 _ReadWriteBarrier 5003 __debugbreak 7001 __readmsr 7001 __writemsr 7001 _InterlockedCompareExchange 7001 _InterlockedCompareExchange64 7001 _InterlockedDecrement 7001 _InterlockedIncrement 7001 _inp 7001 _inpw 7001 _inpd 7001 _outp 7001 _outpw 7001 _outpd 7001 _ReadWriteBarrier 7001 @ 9005 @R1 9005 @R2 9005 @Rx 9005 @R2. 9005 _DriverUnloadHandler 8006 ASSERT 10015 REPORT_STATUS_CODE 10015 REPORT_STATUS_CODE_WITH_EXTENDED_DATA 10015 REPORT_STATUS_CODE_WITH_DEVICE_PATH 10015