Searched refs:seL4_NotificationObject (Results 1 - 9 of 9) sorted by relevance
/seL4-camkes-master/kernel/libsel4/include/sel4/ |
H A D | objecttype.h | 12 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 D | sync.c | 32 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 D | kobject_t.h | 97 return seL4_NotificationObject;
|
H A D | object.h | 179 return vka_alloc_object(vka, seL4_NotificationObject, seL4_NotificationBits, result); 316 case seL4_NotificationObject:
|
/seL4-camkes-master/kernel/src/object/ |
H A D | objecttype.c | 43 case seL4_NotificationObject: 550 case seL4_NotificationObject:
|
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
H A D | Object.py | 65 seL4_NotificationObject = auto() variable in class:ObjectType 334 return get_object_size_bits(ObjectType.seL4_NotificationObject)
|
H A D | Allocator.py | 97 elif type == ObjectType.seL4_NotificationObject:
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | component.common.c | 180 /*- 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 D | capdl.h | 162 CDL_Notification = seL4_NotificationObject,
|
Completed in 65 milliseconds