pagesize (reference) in projects: seL4-master

Searched refs:pagesize (Results 1 – 7 of 7) sorted by relevance

/seL4-master/include/arch/x86/arch/machine/
A D	hardware.h	`54 static inline word_t CONST pageBitsForSize(vm_page_size_t pagesize) in pageBitsForSize() argument 56 switch (pagesize) { in pageBitsForSize() 76 static inline word_t CONST pageBitsForSize_phys(vm_page_size_t pagesize) in pageBitsForSize_phys() argument 78 switch (pagesize) { in pageBitsForSize_phys()`
/seL4-master/include/arch/arm/arch/64/mode/machine/
A D	hardware.h	`41 static inline word_t CONST pageBitsForSize(vm_page_size_t pagesize) in pageBitsForSize() argument 43 switch (pagesize) { in pageBitsForSize()`
/seL4-master/include/arch/riscv/arch/machine/
A D	hardware.h	`93 static inline word_t CONST pageBitsForSize(vm_page_size_t pagesize) in pageBitsForSize() argument 95 switch (pagesize) { in pageBitsForSize()`
/seL4-master/include/arch/arm/arch/32/mode/machine/
A D	hardware.h	`112 static inline word_t CONST pageBitsForSize(vm_page_size_t pagesize) in pageBitsForSize() argument 114 switch (pagesize) { in pageBitsForSize()`
/seL4-master/tools/dts/
A D	tqma8xqp1gb.dts	`1866 pagesize = <0x10>; 1873 pagesize = <0x20>; 1891 pagesize = <0x10>;`
A D	apq8064.dts	`884 pagesize = < 0x20 >;`
A D	tk1.dts	`1927 pagesize = < 0x08 >;`

Completed in 12 milliseconds