Where is the corresponding port for /dev/ttyS0 on Pixhawk?

Pixhawk wiring page (https://pixhawk.org/users/wiring) says that device /dev/ttyS0 is for IO Debug. The px4io.cpp print_debug() function also opens /dev/ttyS0 to output debug info. But where is the corresponding port on Pixhawk?