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

Moved all find_task(sender) calls into topmost ipc handler.

Browse Source 
System calls now need not search for the tcb they are serving for.
This commit is contained in:
Bahadir Balban
2008-09-16 20:11:24 +03:00
parent 2e94a78253
commit a413b19842
13 changed files with 51 additions and 100 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tasks/mm0/include/utcb.h
View File

@@ -8,7 +8,7 @@ int utcb_pool_init(void);
/* IPC to send utcb address information to tasks */
void *task_send_utcb_address(l4id_t sender, l4id_t taskid);
void *task_send_utcb_address(struct tcb *sender, l4id_t taskid);
/* Prefault an *mmaped* utcb */
int utcb_prefault(struct tcb *task, unsigned int vmflags);