Searched refs:ObjectRights (Results 1 - 4 of 4) sorted by last modified time
| /seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
| H A D | __init__.py | 15 Object, ContainerObject, ObjectType, ObjectRights, IRQControl, register_object_sizes, \
16 SchedControl, ARMIRQMode, ContextBank, StreamID namespace
|
| H A D | Object.py | 108 class ObjectRights(Flag): class in inherits:Flag
|
| H A D | Allocator.py | 21 ObjectRights, IOAPICIRQ, MSIIRQ, IRQControl, get_object_size, ASIDControl, \
237 kwargs['read'] = kwargs['rights'] & ObjectRights.seL4_CanRead > 0
238 kwargs['write'] = kwargs['rights'] & ObjectRights.seL4_CanWrite > 0
239 kwargs['grant'] = kwargs['rights'] & ObjectRights.seL4_CanGrant > 0
240 kwargs['grantreply'] = kwargs['rights'] & ObjectRights.seL4_CanGrantReply > 0
22 DomainControl, is_aligned, ARMIRQMode, ARMIRQ, ContextBank, StreamID namespace
|
| /seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
| H A D | Context.py | 39 from capdl.Object import ObjectType, ObjectRights, ARMIRQMode namespace
64 return dict(list(__builtins__.items()) + list(ObjectType.__members__.items()) + list(ObjectRights.__members__.items()) + list(ARMIRQMode.__members__.items()) + list({
|
Completed in 48 milliseconds