mirror of
https://github.com/drasko/codezero.git
synced 2026-01-31 04:03:13 +01:00
2e94a78253
Now all system calls can simply return their final values and they will be sent to client parties from a single location. Should have had this simple cleanup a long time ago.
17 lines
358 B
C
17 lines
358 B
C
#ifndef __MM0_UTCB_H__
|
|
#define __MM0_UTCB_H__
|
|
|
|
#include <l4lib/types.h>
|
|
#include <task.h>
|
|
void *utcb_vaddr_new(void);
|
|
int utcb_pool_init(void);
|
|
|
|
|
|
/* IPC to send utcb address information to tasks */
|
|
void *task_send_utcb_address(l4id_t sender, l4id_t taskid);
|
|
|
|
/* Prefault an *mmaped* utcb */
|
|
int utcb_prefault(struct tcb *task, unsigned int vmflags);
|
|
|
|
#endif
|