* validation to assist in the effort to get third-party binaries
* working. It is easiest to track bugs when things break quickly
* and badly.
- * - Nearly this entire file is PAGED_CODE (with the exception of the
- * MiniportTimerDpc() function)
*/
#include "ndissys.h"
* - call at IRQL <= DISPATCH_LEVEL
*/
{
- PAGED_CODE();
+ ASSERT_IRQL(DISPATCH_LEVEL);
ASSERT(Timer);
*TimerCancelled = KeCancelTimer (&Timer->Timer);
* - call at IRQL <= DISPATCH_LEVEL
*/
{
- PAGED_CODE();
+ ASSERT_IRQL(DISPATCH_LEVEL);
ASSERT(pSystemTime);
KeQuerySystemTime (pSystemTime);
* - call at IRQL <= DISPATCH_LEVEL
*/
{
- PAGED_CODE();
+ ASSERT_IRQL(DISPATCH_LEVEL);
ASSERT(TimerCancelled);
ASSERT(Timer);
* MillisecondsPeriod: period of the timer
* NOTES:
* - Minimum predictible interval is ~10ms
- * - Must be called at IRQL <= DISPATCH_LEVEL)
+ * - Must be called at IRQL <= DISPATCH_LEVEL
*/
{
LARGE_INTEGER Timeout;
- PAGED_CODE();
+ ASSERT_IRQL(DISPATCH_LEVEL);
ASSERT(Timer);
/* relative delays are negative, absolute are positive; resolution is 100ns */
* MillisecondsToDelay: time to wait for the timer to expire
* NOTES:
* - Minimum predictible interval is ~10ms
- * - Must be called at IRQL <= DISPATCH_LEVEL)
+ * - Must be called at IRQL <= DISPATCH_LEVEL
*/
{
LARGE_INTEGER Timeout;
- PAGED_CODE();
+ ASSERT_IRQL(DISPATCH_LEVEL);
ASSERT(Timer);
/* relative delays are negative, absolute are positive; resolution is 100ns */
* MillisecondsToDelay: time to wait for the timer to expire
* NOTES:
* - Minimum predictible interval is ~10ms
- * - Must be called at IRQL <= DISPATCH_LEVEL)
+ * - Must be called at IRQL <= DISPATCH_LEVEL
*/
{
LARGE_INTEGER Timeout;
- PAGED_CODE();
+ ASSERT_IRQL(DISPATCH_LEVEL);
ASSERT(Timer);
/* relative delays are negative, absolute are positive; resolution is 100ns */