[driver] using InterlockedIncrement64 for xid

This commit is contained in:
Olga Kornievskaia 2011-12-21 17:19:38 -05:00
parent 4511dec4b7
commit 9efa410e5a
6 changed files with 16 additions and 26 deletions

View file

@ -666,12 +666,12 @@ void print_open_error(int on, int status)
}
void print_wait_status(int on, const char *prefix, NTSTATUS status,
const char *opcode, PVOID entry, int xid)
const char *opcode, PVOID entry, LONGLONG xid)
{
switch (status) {
case STATUS_SUCCESS:
if (opcode)
DbgP("%s Got a wakeup call, finishing %s entry=%p xid=%d\n",
DbgP("%s Got a wakeup call, finishing %s entry=%p xid=%lld\n",
prefix, opcode, entry, xid);
else
DbgP("%s Got a wakeup call\n", prefix);