#include <types_vmapi.H>
List of all members.
TCP port that Pin listens on waiting for a debugger connection.