sambuc/codezero
1
0
Fork 0
mirror of https://github.com/drasko/codezero.git synced 2026-04-18 01:39:05 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity

Some minor changes

Browse Source 
Need to reimplement exchange_registers
This commit is contained in:
Bahadir Balban
2008-09-12 10:47:36 +03:00
parent af03975dc1
commit 0b3ab05a98
4 changed files with 12 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
tasks/libl4/include/l4lib/arch-arm/syslib.h
View File

@@ -40,9 +40,10 @@ static inline l4id_t l4_get_sender(void)
/*
* When doing an ipc the sender never has to be explicitly set in
* the utcb via this function since it is passed in the argument
* registers. This is only used for restoring the sender on the
* utcb in order to complete an earlier ipc.
* the utcb via this function since this information is found out
* by the microkernel by checking the system caller's id. This is
* only used for restoring the sender on the utcb in order to
* complete an earlier ipc.
*/
static inline void l4_set_sender(l4id_t sender)
{