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

/seL4-refos-master/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-refos-master/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-refos-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-refos-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-refos-master/kernel/libsel4/arch_include/arm/sel4/arch/
H A Dobjecttype.h17 seL4_ARM_SectionObject, enumerator in enum:_object
/seL4-refos-master/libs/libsel4/arch_include/arm/sel4/arch/
H A Dobjecttype.h17 seL4_ARM_SectionObject, enumerator in enum:_object
/seL4-refos-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:

Completed in 35 milliseconds