Searched refs:seL4_ARM_SectionObject (Results 1 - 8 of 8) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/
H A Dobject.h33 case seL4_ARM_SectionObject:
H A Dkobject_t.h57 return seL4_ARM_SectionObject;
/seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/arm_hyp/vka/sel4_arch/
H A Dobject.h33 case seL4_ARM_SectionObject:
H A Dkobject_t.h57 return seL4_ARM_SectionObject;
/seL4-camkes-master/kernel/libsel4/arch_include/arm/sel4/arch/
H A Dobjecttype.h17 seL4_ARM_SectionObject, enumerator in enum:_object
/seL4-camkes-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c27 case seL4_ARM_SectionObject:
357 case seL4_ARM_SectionObject:
424 case seL4_ARM_SectionObject:
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A Dutil.py158 Level(SIZE_4GB, [ObjectType.seL4_ARM_SectionObject, ObjectType.seL4_ARM_SuperSectionObject],
H A DObject.py71 seL4_ARM_SectionObject = auto() variable in class:ObjectType

Completed in 117 milliseconds