IOCTL_SET_KERNEL_DEV_PORT

The IOCTL_SET_KERNEL_DEV_PORT is defined in Pkfuncs.h. Once you have fully implemented this I/O controller, you can create an application that dynamically switches a port between standard mode and debug mode by means of the I/O controller.

The parameters to IOCTL_SET_KERNEL_DEV_PORT are a kernel service identifier and a kernel port identifier. The kernel service identifiers are part of the Ethernet debugging support and are defined in Pkfuncs.h. The currently supported services are KERNEL_SVC_DBGMSG, KERNEL_SVC_PPSH, and KERNEL_SVC_KDBG. The port identifiers are device-specific and can be defined in any device file.

A Windows CE PC-based hardware development platform (CEPC) defines eight unique port identifiers: KERNEL_PORT_NONE, KERNEL_PORT_COM1, KERNEL_PORT_COM2, KERNEL_PORT_COM3, KERNEL_PORT_COM4, KERNEL_PORT_LPT1, KERNEL_PORT_LPT2, and KERNEL_PORT_ETH1. You must define only the available ports and PORT_NONE for a device.

Not all services need to be supported. For example, a basic implementation might support only mapping the kernel debugger to the primary serial port. An advanced implementation might also allow mapping any kernel service to a built-in Ethernet port.

See Also

Kernel Debugging Using Standard Ports

 Last updated on Friday, October 08, 2004

© 1992-2003 Microsoft Corporation. All rights reserved.