Edit

Share via

PagedCodeAtD0 rule (kmdf)

  • Article

The PagedCodeAtD0 rule specifies that a driver must not mark code as pageable within callback functions that are in the power-up code path.

When a function is marked pageable and the code section is subsequently paged out, the function generates a page fault, which could impact the fast resume behavior of the computer. This happens because the client driver will have to wait until the system drivers can service this page fault.

Driver model: KMDF

How to test

At compile time

Run Static Driver Verifier and specify the PagedCodeAtD0 rule.

Use the following steps to run an analysis of your code:
  1. Prepare your code (use role type declarations).
  2. Run Static Driver Verifier.
  3. View and analyze the results.

For more information, see Using Static Driver Verifier to Find Defects in Drivers.

Applies to

PAGED_CODE