libnames.c File Reference

Client side of names. More...

#include <l4/sys/syscalls.h>
#include <l4/sys/ipc.h>
#include <l4/sys/kdebug.h>
#include <l4/rmgr/librmgr.h>
#include <l4/util/util.h>
#include <l4/names/libnames.h>
#include "__libnames.h"
#include "names-client.h"

Functions
l4_threadid_t *	names_get_ns_id (void)
	Return ID of name server.

---

Detailed Description

Client side of names.

Author:

Uwe Dannowski <Uwe.Dannowski@ira.uka.de>

Jork Loeser <jork.loeser@inf.tu-dresden.de>

Adam Lackorzynski <adam@os.inf.tu-dresden.de>