| 316,7 → 316,8 |
|---|
| |
| /** Return fibril id of the currently running fibril. |
| * |
| * @return Fibril ID of the currently running fibril. |
| * @return fibril ID of the currently running fibril. |
| * |
| */ |
| fid_t fibril_get_id(void) |
| { |
| 329,7 → 330,8 |
|---|
| * preempted, it should start async_serialize_start() in the beginning of |
| * communication and async_serialize_end() in the end. If it is a true |
| * multithreaded application, it should protect the communication channel by a |
| * futex as well. Interrupt messages can still be preempted. |
| * futex as well. |
| * |
| */ |
| void fibril_inc_sercount(void) |
| { |