*** ntddk.orig	2010-03-28 17:49:50.033271800 -0500
--- ntddk.h	2010-03-29 03:04:52.941005800 -0500
***************
*** 226,230 ****
  BOOLEAN
  _interlockedbittestandset (
!     IN LONG *Base,
      IN LONG Offset
      );
--- 226,230 ----
  BOOLEAN
  _interlockedbittestandset (
!     IN LONG volatile *Base,
      IN LONG Offset
      );
***************
*** 232,236 ****
  BOOLEAN
  _interlockedbittestandreset (
!     IN LONG *Base,
      IN LONG Offset
      );
--- 232,236 ----
  BOOLEAN
  _interlockedbittestandreset (
!     IN LONG volatile *Base,
      IN LONG Offset
      );
***************
*** 676,680 ****
  BOOLEAN
  _interlockedbittestandset (
!     IN LONG *Base,
      IN LONG Offset
      );
--- 676,680 ----
  BOOLEAN
  _interlockedbittestandset (
!     IN LONG volatile *Base,
      IN LONG Offset
      );
***************
*** 682,686 ****
  BOOLEAN
  _interlockedbittestandreset (
!     IN LONG *Base,
      IN LONG Offset
      );
--- 682,686 ----
  BOOLEAN
  _interlockedbittestandreset (
!     IN LONG volatile *Base,
      IN LONG Offset
      );
***************
*** 712,716 ****
  BOOLEAN
  _interlockedbittestandset64 (
!     IN LONG64 *Base,
      IN LONG64 Offset
      );
--- 712,716 ----
  BOOLEAN
  _interlockedbittestandset64 (
!     IN LONG64 volatile *Base,
      IN LONG64 Offset
      );
***************
*** 718,722 ****
  BOOLEAN
  _interlockedbittestandreset64 (
!     IN LONG64 *Base,
      IN LONG64 Offset
      );
--- 718,722 ----
  BOOLEAN
  _interlockedbittestandreset64 (
!     IN LONG64 volatile *Base,
      IN LONG64 Offset
      );
***************
*** 10131,10134 ****
--- 10131,10135 ----
  
  __forceinline
+ ULONG
  _ExInterlockedExchangeUlong (
      IN OUT PULONG Target,