#include <l4/generic_io/types.h>
#include <l4/log/l4log.h>
#include <string.h>
#include <stdio.h>
#include "io.h"
#include "res.h"
#include "static_cfg.h"
#include "__config.h"
#include "__macros.h"
Go to the source code of this file.
Functions | |
| void | register_device_group_fn (const char *name, l4io_desc_device_t **devs, int num) |
| int | io_static_cfg_init (l4io_info_t *info, const char *requested_platform) |
| Init static resource configuration. | |
Variables | |
| struct { | |
| const char * name | |
| l4io_desc_device_t ** devs | |
| int num | |
| } | registered_devs [MAX_NUM_REGISTERED_DEVS] |
| static int | num_devs |
Definition in file static_cfg.c.