Searched defs:interface_type (Results 1 - 3 of 3) sorted by relevance
| /seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | interface_registration.h | 51 ps_interface_register(ps_interface_registration_ops_t *interface_registration_ops, ps_interface_type_t interface_type, void *interface_instance, char **properties) argument
59 ps_interface_unregister(ps_interface_registration_ops_t *interface_registration_ops, ps_interface_type_t interface_type, void *interface_instance) argument
67 ps_interface_find(ps_interface_registration_ops_t *interface_registration_ops, ps_interface_type_t interface_type, ps_interface_search_handler_fn_t handler, void *handler_data) argument
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | interface_registration.c | 49 ps_interface_type_t interface_type; member in struct:outer_interface_list
125 int camkes_interface_register(void *cookie, ps_interface_type_t interface_type, void *interface_instance, argument
208 int camkes_interface_unregister(void *cookie, ps_interface_type_t interface_type, voi argument
245 camkes_interface_find(void *cookie, ps_interface_type_t interface_type, ps_interface_search_handler_fn_t handler, void *handler_data) argument
[all...] |
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/ |
| H A D | guest_boot_info.h | 172 uint8_t interface_type[8]; member in struct:edd_device_params
|
Completed in 88 milliseconds