#ifndef PTHREAD_MARKCANCEL_H
#define PTHREAD_MARKCANCEL_H

long sys_pthread_markcancel(unsigned int thread_port);

#endif