Subversion Repositories c0or1k

#include <capability.h>
#include <l4lib/ipcdefs.h>
#include L4LIB_INC_ARCH(syslib.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;
}