#include <stdio.h>
#include <ipc/services.h>
#include <ipc/ns.h>
#include <async.h>
#include <errno.h>
#include <task.h>
#include <libfs.h>
#include "devfs.h"
#include "devfs_ops.h"
Go to the source code of this file.
Defines | |
| #define | NAME "devfs" |
Functions | |
| static void | devfs_connection (ipc_callid_t iid, ipc_call_t *icall) |
| int | main (int argc, char *argv[]) |
| Main entry point. | |
Variables | |
| fs_reg_t | devfs_reg |
| static vfs_info_t | devfs_vfs_info |
Every device registered to device mapper is represented as a file in this file system.
Definition in file devfs.c.
1.4.7