Searched refs:seL4_ARM_SmallPageObject (Results 1 - 10 of 10) sorted by relevance

/seL4-refos-master/kernel/libsel4/arch_include/arm/sel4/arch/
H A Dobjecttype.h14 seL4_ARM_SmallPageObject = seL4_ModeObjectTypeCount, enumerator in enum:_object
/seL4-refos-master/libs/libsel4/arch_include/arm/sel4/arch/
H A Dobjecttype.h14 seL4_ARM_SmallPageObject = seL4_ModeObjectTypeCount, enumerator in enum:_object
/seL4-refos-master/libs/libsel4vka/arch_include/arm/vka/arch/
H A Dkobject_t.h60 return seL4_ARM_SmallPageObject;
H A Dobject.h47 case seL4_ARM_SmallPageObject:
/seL4-refos-master/projects/seL4_libs/libsel4vka/arch_include/arm/vka/arch/
H A Dkobject_t.h60 return seL4_ARM_SmallPageObject;
H A Dobject.h47 case seL4_ARM_SmallPageObject:
/seL4-refos-master/libs/libsel4vspace/arch_include/arm/vspace/arch/
H A Dpage.h47 #define seL4_ARCH_4KPage seL4_ARM_SmallPageObject
/seL4-refos-master/projects/seL4_libs/libsel4vspace/arch_include/arm/vspace/arch/
H A Dpage.h47 #define seL4_ARCH_4KPage seL4_ARM_SmallPageObject
/seL4-refos-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c23 case seL4_ARM_SmallPageObject:
353 case seL4_ARM_SmallPageObject:
382 case seL4_ARM_SmallPageObject:
/seL4-refos-master/kernel/src/arch/arm/64/object/
H A Dobjecttype.c19 case seL4_ARM_SmallPageObject:
360 case seL4_ARM_SmallPageObject:
389 case seL4_ARM_SmallPageObject:

Completed in 90 milliseconds