12345678910#ifndef BSDTHREAD_TERMINATE_H#define BSDTHREAD_TERMINATE_H#include <stdint.h> long sys_bsdthread_terminate(void* stackaddr, unsigned long freesize, int port, int join_sem); #endif