#include <__armlib.h>
void __ARMLIB_runCommPortServer(void);
__ARMLIB_runCommPortServer serves ARMCPS commands from the ARM's debug communication channel until terminated by the host.
__ARMLIB_runCommPortServer is an ARM specific extension provided by CrossWorks C.