That very page makes me think device drivers don't choose their DIRQL. Any more precise pointer to how they can do that?