How do the Windows DDK samples deal with being paged out? I don't see much code dealing with it in the samples

How come the Windows DDK samples do not deal with being paged out? Are they non-pageable?

Solution

Pageable code is marked with #pragma code_seg("PAGE"). That's why the drivers are not dealing with paging. They are by default all non-pagable.