Mix WDM driver with WDFSPINLOCK and WDFWAITLOCK ?

(empty message)