mirror of
https://github.com/drasko/codezero.git
synced 2026-01-12 19:03:15 +01:00
16617eed36
Issues with l4_return value not reaching client side modified: libs/c/include/stdio.h modified: src/arch/arm/exception.c modified: src/glue/arm/init.c modified: tasks/fs0/src/task.c modified: tasks/libl4/include/l4lib/arch-arm/utcb.h modified: tasks/libl4/src/arm/syscalls.S modified: tasks/libl4/src/init.c deleted: tasks/libl4/tagfilelist modified: tasks/libposix/open.c modified: tasks/mm0/include/utcb.h modified: tasks/mm0/include/vm_area.h modified: tasks/mm0/main.c modified: tasks/mm0/src/init.c modified: tasks/mm0/src/task.c modified: tasks/mm0/src/utcb.c modified: tasks/mm0/src/vm_object.c
13 lines
246 B
C
13 lines
246 B
C
#ifndef __MM0_UTCB_H__
|
|
#define __MM0_UTCB_H__
|
|
|
|
#include <l4lib/types.h>
|
|
void *utcb_vaddr_new(void);
|
|
int utcb_pool_init(void);
|
|
|
|
|
|
/* IPC to send utcb address information to tasks */
|
|
int task_send_utcb_address(l4id_t sender, l4id_t taskid);
|
|
|
|
#endif
|