#include <stdio.h>
#include <l4/sys/types.h>
#include <l4/env/errno.h>
#include <l4/sys/syscalls.h>
#include <l4/l4rm/l4rm.h>
#include <l4/names/libnames.h>
#include <l4/generic_io/libio.h>
#include "internal.h"
#include "__macros.h"
Go to the source code of this file.
Defines | |
#define | CONFIG_LOG_INFOPAGE_MAPPING 0 |
Functions | |
static int | __io_register (l4_uint32_t *type) |
Registration wrapper. | |
static int | __io_mapping (l4io_info_t **addr) |
int | l4io_init (l4io_info_t **io_info_addr, l4io_drv_t type) |
l4io_info_t * | l4io_info_page (void) |
Variables | |
char * | IO_NAMES_STR = "io" |
l4_threadid_t | io_l4id = L4_INVALID_ID |
static int | _initialized = 0 |
static l4io_info_t * | io_info_page_pointer |
l4io_info_t | io_info |
Definition in file init.c.
static int __io_mapping | ( | l4io_info_t ** | addr | ) | [static] |
static int __io_register | ( | l4_uint32_t * | type | ) | [static] |
int l4io_init | ( | l4io_info_t ** | io_info_addr, | |
l4io_drv_t | type | |||
) |
Library initialization
io_info_addr | desired address for mapping of io info page:
| |
type | driver class (look into libio.h) |
io_info_addr | actual mapping address (or -1 if no mapping) |
int _initialized = 0 [static] |
char* IO_NAMES_STR = "io" |