/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/imx8m/platsupport/plat/ |
H A D | timer.h | 54 void *user_callback_token, char *device_path) 60 .device_path = device_path, 53 imx_init_timer(gpt_t *gpt, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, void *user_callback_token, char *device_path) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/imx7/platsupport/plat/ |
H A D | timer.h | 60 void *user_callback_token, char *device_path) 66 .device_path = device_path, 59 imx_init_timer(gpt_t *gpt, ps_io_ops_t *io_ops, ltimer_callback_fn_t user_callback, void *user_callback_token, char *device_path) argument
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | io.c | 38 char *device_path; member in struct:camkes_defer_token 306 static int defer_driver_init(ps_io_ops_t *ops, char *device_path, ps_driver_init_fn_t init_func) argument 313 if (device_path == NULL) { 330 defer_token->device_path = device_path; 341 static int find_compatible_driver_module(ps_io_ops_t *ops, int node_offset, char *device_path) argument 360 int ret = (*module)->init(ops, device_path); 362 ZF_LOGF_IF(defer_driver_init(ops, device_path, (*module)->init), 363 "Failed to defer the initialisation of node %s", device_path); local 366 ZF_LOGE("Node pointed to by path %s failed to have a driver initialise properly, ignoring", device_path); [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/imx6/platsupport/plat/ |
H A D | timer.h | 57 .device_path = GPT_PATH, 85 .device_path = EPIT_PATH,
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/imx31/platsupport/plat/ |
H A D | timer.h | 52 .device_path = EPIT1_PATH, 93 .device_path = GPT_PATH, 124 .device_path = EPIT2_PATH,
|
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/imx/platsupport/mach/ |
H A D | gpt.h | 31 char *device_path; member in struct:__anon2
|
H A D | epit.h | 31 char *device_path; member in struct:__anon1
|
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/nvidia/platsupport/mach/ |
H A D | timer.h | 73 int nv_tmr_init(nv_tmr_t *tmr, ps_io_ops_t ops, char *device_path, ltimer_callback_fn_t user_callback,
|
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/ |
H A D | timer.h | 66 char *device_path; member in struct:__anon2
|
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | driver_module.h | 56 typedef int (*ps_driver_init_fn_t)(ps_io_ops_t *io_ops, const char *device_path);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
H A D | timer.c | 156 int nv_tmr_init(nv_tmr_t *tmr, ps_io_ops_t ops, char *device_path, ltimer_callback_fn_t user_callback, argument 159 if (!tmr || !device_path) { 171 int error = ps_fdt_read_path(&ops.io_fdt, &ops.malloc_ops, device_path, &cookie);
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_dev_tap_windows.c | 474 char device_path[256]; local 507 snprintf (device_path, sizeof(device_path), "%s%s%s", 513 device_path, 523 dbg_tap_info("CreateFile failed on TAP device: %s\n", device_path); 532 dbg_tap_info("TAP-WIN32 device [%s] opened: %s\n", tt->actual_name, device_path);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | timer.c | 584 char *device_path = ttc_get_device_path(config.id); local 588 int error = ps_fdt_read_path(&ttc->io_ops.io_fdt, &ttc->io_ops.malloc_ops, device_path, &cookie);
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | tx2.c | 417 int ethif_tx2_init_module(ps_io_ops_t *io_ops, const char *device_path) argument 431 error = ps_fdt_read_path(&io_ops->io_fdt, &io_ops->malloc_ops, device_path, &cookie);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/ |
H A D | gpt.c | 279 int error = ps_fdt_read_path(&gpt->io_ops.io_fdt, &gpt->io_ops.malloc_ops, config.device_path, &cookie);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/epit/ |
H A D | epit.c | 236 int error = ps_fdt_read_path(&epit->io_ops.io_fdt, &epit->io_ops.malloc_ops, config.device_path, &cookie);
|
/seL4-camkes-master/projects/projects_libs/libtx2bpmp/src/ |
H A D | bpmp.c | 275 int tx2_bpmp_init_module(ps_io_ops_t *io_ops, const char *device_path) { argument
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/ |
H A D | guest_boot_info.h | 254 } device_path; member in struct:edd_device_params
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | imx6.c | 523 int ethif_imx_init_module(ps_io_ops_t *io_ops, const char *device_path) argument 536 error = ps_fdt_read_path(&io_ops->io_fdt, &io_ops->malloc_ops, device_path, &cookie);
|