mirror of
https://github.com/drasko/codezero.git
synced 2026-02-28 17:53:13 +01:00
Added forgotten file
new file: src/capability.c
This commit is contained in:
24
conts/posix/test0/src/capability.c
Normal file
24
conts/posix/test0/src/capability.c
Normal file
@@ -0,0 +1,24 @@
|
|||||||
|
#include <capability.h>
|
||||||
|
#include <l4lib/arch/syslib.h>
|
||||||
|
#include <l4lib/ipcdefs.h>
|
||||||
|
|
||||||
|
int cap_request_pager(struct capability *cap)
|
||||||
|
{
|
||||||
|
int err;
|
||||||
|
|
||||||
|
write_mr(L4SYS_ARG0, (u32)cap);
|
||||||
|
|
||||||
|
if ((err = l4_sendrecv(pagerid, pagerid,
|
||||||
|
L4_REQUEST_CAPABILITY)) < 0) {
|
||||||
|
printf("%s: L4 IPC Error: %d.\n", __FUNCTION__, err);
|
||||||
|
return err;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Check if syscall itself was successful */
|
||||||
|
if ((err = l4_get_retval()) < 0) {
|
||||||
|
printf("%s: Error: %d\n", __FUNCTION__, err);
|
||||||
|
return err;
|
||||||
|
}
|
||||||
|
return err;
|
||||||
|
}
|
||||||
|
|
||||||
Reference in New Issue
Block a user