Searched refs:seL4_NotificationObject (Results 1 - 9 of 9) sorted by relevance

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Dobjecttype.h12 seL4_NotificationObject, enumerator in enum:api_object
21 __attribute__((deprecated("use seL4_NotificationObject"))) static const seL4_ObjectType seL4_AsyncEndpointObject =
22 seL4_NotificationObject;
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dsync.c32 seL4_CPtr cap = camkes_alloc(seL4_NotificationObject, 0, seL4_CanRead.words[0] | seL4_CanWrite.words[0]);
/seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dkobject_t.h97 return seL4_NotificationObject;
H A Dobject.h179 return vka_alloc_object(vka, seL4_NotificationObject, seL4_NotificationBits, result);
316 case seL4_NotificationObject:
/seL4-camkes-master/kernel/src/object/
H A Dobjecttype.c43 case seL4_NotificationObject:
550 case seL4_NotificationObject:
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A DObject.py65 seL4_NotificationObject = auto() variable in class:ObjectType
334 return get_object_size_bits(ObjectType.seL4_NotificationObject)
H A DAllocator.py97 elif type == ObjectType.seL4_NotificationObject:
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c180 /*- set notification = alloc(m.name, seL4_NotificationObject, read=True, write=True) -*/
229 /*- set notification = alloc(b.name, seL4_NotificationObject, read=True, write=True) -*/
350 /*- set notification = alloc('notification_pool_%d' % i, seL4_NotificationObject, read=True, write=True) -*/
351 res = camkes_provide(seL4_NotificationObject, /*? notification ?*/, 0, seL4_CanRead.words[0]|seL4_CanWrite.words[0]);
400 /*- set ntfn_passive_init = alloc('%d_0_control_%d_passive_init_ntfn' % (len(me.name), len('0_control')), seL4_NotificationObject, read=True, write=True) -*/
/seL4-camkes-master/projects/capdl/capdl-loader-app/include/
H A Dcapdl.h162 CDL_Notification = seL4_NotificationObject,

Completed in 65 milliseconds