Searched refs:device_path (Results 1 - 19 of 19) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/imx8m/platsupport/plat/
H A Dtimer.h54 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 Dtimer.h60 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 Dio.c38 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 Dtimer.h57 .device_path = GPT_PATH,
85 .device_path = EPIT_PATH,
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/imx31/platsupport/plat/
H A Dtimer.h52 .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 Dgpt.h31 char *device_path; member in struct:__anon2
H A Depit.h31 char *device_path; member in struct:__anon1
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/nvidia/platsupport/mach/
H A Dtimer.h73 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 Dtimer.h66 char *device_path; member in struct:__anon2
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Ddriver_module.h56 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 Dtimer.c156 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 Dpico_dev_tap_windows.c474 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 Dtimer.c584 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 Dtx2.c417 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 Dgpt.c279 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 Depit.c236 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 Dbpmp.c275 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 Dguest_boot_info.h254 } device_path; member in struct:edd_device_params
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/
H A Dimx6.c523 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);

Completed in 78 milliseconds