ARMLargePageBits (reference) in projects: seL4-master

Searched refs:ARMLargePageBits (Results 1 – 5 of 5) sorted by relevance

/seL4-master/include/arch/arm/arch/64/mode/machine/
A D	hardware.h	`37 ARMLargePageBits = seL4_LargePageBits, enumerator 48 return ARMLargePageBits; in pageBitsForSize()`
/seL4-master/include/arch/arm/arch/32/mode/machine/
A D	hardware.h	`107 ARMLargePageBits = seL4_LargePageBits, enumerator 119 return ARMLargePageBits; in pageBitsForSize()`
/seL4-master/src/arch/arm/32/object/
A D	objecttype.c	`356 return ARMLargePageBits; in Arch_getObjectSize()`
/seL4-master/src/arch/arm/64/object/
A D	objecttype.c	`363 return ARMLargePageBits; in Arch_getObjectSize()`
/seL4-master/src/arch/arm/32/kernel/
A D	vspace.c	`39 #define PAGES_PER_LARGE_PAGE BIT(ARMLargePageBits - ARMSmallPageBits) 2808 offset = vaddr & MASK(ARMLargePageBits); 2818 offset = vaddr & MASK(ARMLargePageBits);`

Completed in 11 milliseconds