#ifndef PTHREAD_MARKCANCEL_H
#define PTHREAD_MARKCANCEL_H

long sys_pthread_markcancel(int thread_port);

#endif