search for: __driver_name

Displaying 1 result from an estimated 1 matches for "__driver_name".

2007 Nov 02
0
[PATCH] PVWin: Fix warnings
...s = _InterlockedExchange(&vcpu_info->evtchn_pending_sel, 0); + evt_words = _InterlockedExchange((volatile LONG *)&vcpu_info->evtchn_pending_sel, 0); while (_BitScanForward(&evt_word, evt_words)) { @@ -68,7 +67,7 @@ EvtChn_InterruptDpc(WDFINTERRUPT Interru KdPrint((__DRIVER_NAME " Calling Handler for port %d\n", port)); ev_action->ServiceRoutine(NULL, ev_action->ServiceContext); } - _interlockedbittestandreset(&shared_info_area->evtchn_pending[0], port); + _interlockedbittestandreset((volatile LONG *)&shared_info_are...