Searched refs:seL4_EndpointObject (Results 1 - 8 of 8) sorted by relevance
| /seL4-camkes-master/kernel/libsel4/include/sel4/ |
| H A D | objecttype.h | 11 seL4_EndpointObject, enumerator in enum:api_object
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/ |
| H A D | kobject_t.h | 95 return seL4_EndpointObject;
|
| H A D | object.h | 174 return vka_alloc_object(vka, seL4_EndpointObject, seL4_EndpointBits, result);
314 case seL4_EndpointObject:
|
| /seL4-camkes-master/kernel/src/object/ |
| H A D | objecttype.c | 41 case seL4_EndpointObject:
544 case seL4_EndpointObject:
|
| /seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
| H A D | Object.py | 64 seL4_EndpointObject = auto() variable in class:ObjectType
326 return get_object_size_bits(ObjectType.seL4_EndpointObject)
|
| H A D | Allocator.py | 95 elif type == ObjectType.seL4_EndpointObject:
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | component.common.c | 201 /*- set ep = alloc(s.name, seL4_EndpointObject, read=True, write=True) -*/
338 /*- set ep = alloc('ep_pool_%d' % i, seL4_EndpointObject, read=True, write=True) -*/
339 res = camkes_provide(seL4_EndpointObject, /*? ep ?*/, 0, seL4_CanRead|seL4_CanWrite);
392 /*- set fault_ep = alloc_obj('fault_ep', seL4_EndpointObject) -*/
493 /*- set fault_ep = alloc_obj('fault_ep', seL4_EndpointObject) -*/
660 /*- set pre_init_ep = alloc('pre_init_ep', seL4_EndpointObject, read=True, write=True) -*/
662 /*- set interface_init_ep = alloc('interface_init_ep', seL4_EndpointObject, read=True, write=True) -*/
664 /*- set post_init_ep = alloc('post_init_ep', seL4_EndpointObject, read=True, write=True) -*/
|
| /seL4-camkes-master/projects/capdl/capdl-loader-app/include/ |
| H A D | capdl.h | 161 CDL_Endpoint = seL4_EndpointObject,
|
Completed in 177 milliseconds