Searched refs:seL4_PageTableBits (Results 51 - 56 of 56) sorted by relevance

123

/seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dobject.h232 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PAGE_TABLE, 0), seL4_PageTableBits, result);
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h286 return seL4_PageTableBits;
/seL4-refos-master/kernel/src/arch/x86/object/
H A Dobjecttype.c435 return seL4_PageTableBits;
/seL4-refos-master/kernel/src/arch/arm/64/object/
H A Dobjecttype.c367 return seL4_PageTableBits;
/seL4-refos-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c265 memzero(armKSGlobalLogPT, BIT(seL4_PageTableBits));
280 memzero(armKSGlobalPT, 1 << seL4_PageTableBits);
358 memzero(armHSGlobalPT, 1 << seL4_PageTableBits);
410 memzero(armUSGlobalPT, 1 << seL4_PageTableBits);
/seL4-refos-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c387 return PTE_PTR(ptrFromPAddr(pte_ptr_get_ppn(pte) << seL4_PageTableBits));
1098 clearMemory((void *)pt, seL4_PageTableBits);

Completed in 95 milliseconds

123