VOID
WRITE_PORT_USHORT(
IN PUSHORT Port,
IN USHORT Value
);
WRITE_PORT_USHORT writes a USHORT value to the specified port address.
Callers of WRITE_PORT_USHORT can be running at any IRQL, assuming the Port is resident, mapped device memory.