_kern_receive_data
extern int32 _kern_receive_data(thread_id *_sender, void *buffer,
return _kern_receive_data(_sender, buffer, bufferSize);