rem: free(p);
add: __lwp_wkspace_free(p);
context: u32 LWP_SemDestroy(sem_t sem){	lwp_sema *p = (lwp_sema*)sem;	if(!p) return -1;	__lwp_thread_dispatchdisable();	__lwp_sema_flush(p,-1);	free(p);	__lwp_thread_dispatchenable();	return 0;}