12345678#ifndef PTHREAD_MARKCANCEL_H#define PTHREAD_MARKCANCEL_H long sys_pthread_markcancel(unsigned int thread_port); #endif