TdiDispatchDeviceControl and TdiDispatchFastDeviceControl IRQL

DDK TDI documentation specifies that:

TdiDispatchDeviceControl and TdiDispatchFastDeviceControl “runs at
IRQL PASSIVE_LEVEL or IRQL DISPATCH_LEVEL”. I have some doubts about.
Is it really allowed for TDI driver to design DeviceControl and
FastDeviceControl to be called at DISPATCH_LEVEL?
Tcpip.sys TdiDispatchDeviceControl for example can not run at
DISPATCH_LEVEL because it calls TdiMapUserRequest (Callers run at IRQL
PASSIVE_LEVEL). So I have filling that it could be some sort of
mistype in doc.

May be MS guys may give some more comments about?

Thanks!

Best regards,
Andrey