Search

Sort by

In Project(s)

Searched refs:pageType (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/api/
H A D	types.h	`18 #define pageType SmallPageObject macro`
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/api/
H A D	types.h	`26 #define pageType PageObject4K macro`
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/
H A D	types.h	`19 #define pageType PageObject4K macro`

Completed in 18 milliseconds