Searched refs:PT_INDEX_BITS (Results 1 - 25 of 29) sorted by relevance

12

/seL4-camkes-master/kernel/include/arch/riscv/arch/model/
H A Dstatedata.h28 extern pte_t kernel_root_pageTable[BIT(PT_INDEX_BITS)] VISIBLE;
33 extern pte_t kernel_image_level2_pt[BIT(PT_INDEX_BITS)];
34 extern pte_t kernel_image_level2_dev_pt[BIT(PT_INDEX_BITS)];
36 extern pte_t kernel_image_level2_log_buffer_pt[BIT(PT_INDEX_BITS)];
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/model/
H A Dstatedata.h16 extern pte_t ia32KSGlobalPT[BIT(PT_INDEX_BITS)];
19 extern pte_t ia32KSGlobalLogPT[BIT(PT_INDEX_BITS)];
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/model/
H A Dstatedata.h24 extern pte_t armKSGlobalPT[BIT(PT_INDEX_BITS)] VISIBLE;
27 extern pte_t armKSGlobalLogPT[BIT(PT_INDEX_BITS)] VISIBLE;
32 extern pdeS1_t armHSGlobalPD[BIT(PT_INDEX_BITS)] VISIBLE;
33 extern pteS1_t armHSGlobalPT[BIT(PT_INDEX_BITS)] VISIBLE;
37 extern pte_t armUSGlobalPT[BIT(PT_INDEX_BITS)] VISIBLE;
/seL4-camkes-master/kernel/src/arch/x86/32/model/
H A Dstatedata.c15 pte_t ia32KSGlobalPT[BIT(PT_INDEX_BITS)] ALIGN(BIT(seL4_PageTableBits));
18 pte_t ia32KSGlobalLogPT[BIT(PT_INDEX_BITS)] ALIGN(BIT(seL4_PageTableBits));
/seL4-camkes-master/kernel/src/arch/riscv/model/
H A Dstatedata.c21 pte_t kernel_root_pageTable[BIT(PT_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageTableBits));
24 pte_t kernel_image_level2_pt[BIT(PT_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageTableBits));
25 pte_t kernel_image_level2_dev_pt[BIT(PT_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageTableBits));
27 pte_t kernel_image_level2_log_buffer_pt[BIT(PT_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageTableBits));
/seL4-camkes-master/kernel/src/arch/arm/32/model/
H A Dstatedata.c35 pte_t armKSGlobalPT[BIT(PT_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageTableBits));
38 pte_t armKSGlobalLogPT[BIT(PT_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageTableBits));
45 pdeS1_t armHSGlobalPD[BIT(PT_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageTableBits));
47 pteS1_t armHSGlobalPT[BIT(PT_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageTableBits));
52 pte_t armUSGlobalPT[BIT(PT_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageTableBits));
/seL4-camkes-master/kernel/include/arch/riscv/arch/machine/
H A Dhardware.h50 #define RISCV_GET_PT_INDEX(addr, n) (((addr) >> (((PT_INDEX_BITS) * (((CONFIG_PT_LEVELS) - 1) - (n))) + seL4_PageBits)) & MASK(PT_INDEX_BITS))
51 #define RISCV_GET_LVL_PGSIZE_BITS(n) (((PT_INDEX_BITS) * (((CONFIG_PT_LEVELS) - 1) - (n))) + seL4_PageBits)
/seL4-camkes-master/kernel/src/arch/riscv/machine/
H A Dcapdl.c48 word_t ptBitsLeft = PT_INDEX_BITS * level + seL4_PageBits;
51 for (word_t i = 0; i < BIT(ptBitsLeft + PT_INDEX_BITS) - 1; i += (1 << (ptBitsLeft))) {
52 word_t ptSlotIndex = ((i >> ptBitsLeft) & MASK(PT_INDEX_BITS));
65 for (word_t i = 0; i < BIT(ptBitsLeft + PT_INDEX_BITS) - 1; i += (1 << (ptBitsLeft))) {
66 word_t ptSlotIndex = ((i >> ptBitsLeft) & MASK(PT_INDEX_BITS));
116 word_t slot = ((vptr >> lu_ret.ptBitsLeft) & MASK(PT_INDEX_BITS));
130 word_t ptBitsLeft = PT_INDEX_BITS * CONFIG_PT_LEVELS + seL4_PageBits;
131 word_t slot = ((vptr >> ptBitsLeft) & MASK(PT_INDEX_BITS));
196 word_t ptBitsLeft = PT_INDEX_BITS * level + seL4_PageBits;
198 for (word_t i = 0; i < BIT(ptBitsLeft + PT_INDEX_BITS);
[all...]
/seL4-camkes-master/kernel/src/arch/x86/64/model/
H A Dstatedata.c17 pte_t x64KSKernelPT[BIT(PT_INDEX_BITS)] ALIGN(BIT(seL4_PageTableBits));
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/model/
H A Dstatedata.h21 extern pte_t x64KSKernelPT[BIT(PT_INDEX_BITS)];
/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-riscv/
H A Dboot.c34 #define PT_INDEX_BITS 10 macro
36 #define PT_INDEX_BITS 9 macro
39 #define PTES_PER_PT BIT(PT_INDEX_BITS)
45 #define GET_PT_INDEX(addr, n) (((addr) >> (((PT_INDEX_BITS) * ((CONFIG_PT_LEVELS) - (n))) + RISCV_PGSHIFT)) % PTES_PER_PT)
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/model/
H A Dstatedata.h29 extern pte_t armKSGlobalKernelPT[BIT(PT_INDEX_BITS)] VISIBLE;
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h52 #define PT_INDEX_BITS seL4_PageTableIndexBits macro
55 #define PD_INDEX_OFFSET (PT_INDEX_OFFSET + PT_INDEX_BITS)
65 #define GET_PT_INDEX(x) ( ((x) >> (PT_INDEX_OFFSET)) & MASK(PT_INDEX_BITS))
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h25 #define PT_INDEX_BITS seL4_PageTableIndexBits macro
30 #define GET_VSPACE_ROOT_INDEX(x) ((x) >> (seL4_PageBits + PT_INDEX_BITS))
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/kernel/
H A Dvspace.h15 #define PD_ASID_SLOT (0xff000000 >> (PT_INDEX_BITS + PAGE_BITS))
/seL4-camkes-master/kernel/src/arch/arm/64/model/
H A Dstatedata.c90 pte_t armKSGlobalKernelPT[BIT(PT_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageTableBits));
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h49 #define PT_INDEX_BITS seL4_PageTableIndexBits macro
52 #define PD_INDEX_OFFSET (PT_INDEX_OFFSET + PT_INDEX_BITS)
72 #define GET_PT_INDEX(x) (((x) >> (PT_INDEX_OFFSET)) & MASK(PT_INDEX_BITS))
/seL4-camkes-master/kernel/include/arch/riscv/arch/object/
H A Dstructures.h62 #define PT_INDEX_BITS seL4_PageTableIndexBits macro
/seL4-camkes-master/kernel/src/arch/arm/32/machine/
H A Dcapdl.c15 #define PT_INDEX(vptr) ((vptr >> PAGE_BITS) & MASK(PT_INDEX_BITS))
16 #define PD_INDEX(vptr) (vptr >> (PAGE_BITS + PT_INDEX_BITS))
118 while (i < BIT(PT_INDEX_BITS + PAGE_BITS)) {
407 while (i < BIT(PT_INDEX_BITS + PAGE_BITS)) {
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c424 word_t n = get_n_paging(it_v_reg, PT_INDEX_BITS + PAGE_BITS);
448 for (vptr = ROUND_DOWN(it_v_reg.start, PT_INDEX_BITS + PAGE_BITS);
450 vptr += BIT(PT_INDEX_BITS + PAGE_BITS)) {
697 for (int idx = 0; idx < BIT(PT_INDEX_BITS); idx++) {
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c330 for (idx = 0; idx < (USER_TOP - 0xC0000000) >> (PT_INDEX_BITS + PAGE_BITS); idx++) {
337 for (; idx < BIT(PT_INDEX_BITS) - 1; idx++) {
351 phys += BIT(PT_INDEX_BITS + PAGE_BITS);
411 idx = (seL4_GlobalsFrame >> PAGE_BITS) & (MASK(PT_INDEX_BITS));
528 return get_n_paging(it_v_reg, PT_INDEX_BITS + PAGE_BITS);
553 for (pt_vptr = ROUND_DOWN(it_v_reg.start, PT_INDEX_BITS + PAGE_BITS);
555 pt_vptr += BIT(PT_INDEX_BITS + PAGE_BITS)) {
729 pdIndex = vptr >> (PAGE_BITS + PT_INDEX_BITS);
741 current_lookup_fault = lookup_fault_missing_capability_new(PT_INDEX_BITS + PAGE_BITS);
751 ptIndex = (vptr >> PAGE_BITS) & MASK(PT_INDEX_BITS);
[all...]
/seL4-camkes-master/kernel/src/arch/x86/32/object/
H A Dobjecttype.c85 for (int idx = 0; idx < BIT(PT_INDEX_BITS); idx++) {
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dvspace.c160 if (idx == BIT(PT_INDEX_BITS)) {
185 if (idx == BIT(PT_INDEX_BITS)) {
191 while (idx < BIT(PT_INDEX_BITS)) {
198 assert(idx == BIT(PT_INDEX_BITS));
629 current_lookup_fault = lookup_fault_missing_capability_new(PAGE_BITS + PT_INDEX_BITS);
639 ptIndex = (vptr >> PAGE_BITS) & MASK(PT_INDEX_BITS);
690 assert(IS_ALIGNED(vptr, PT_INDEX_BITS + PAGE_BITS));
695 for (i = 0; i < BIT(PT_INDEX_BITS); i++) {
1180 vaddr = getSyscallArg(0, buffer) & (~MASK(PT_INDEX_BITS + PAGE_BITS));
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c351 for (i = RISCV_GET_PT_INDEX(PPTR_BASE, 0); i < BIT(PT_INDEX_BITS); i++) {
402 ret.ptBitsLeft = PT_INDEX_BITS * level + seL4_PageBits;
403 ret.ptSlot = pt + ((vptr >> ret.ptBitsLeft) & MASK(PT_INDEX_BITS));
407 ret.ptBitsLeft -= PT_INDEX_BITS;
409 ret.ptSlot = pt + ((vptr >> ret.ptBitsLeft) & MASK(PT_INDEX_BITS));
1221 for (word_t i = 0; i < BIT(PT_INDEX_BITS); i += 1) {
/seL4-camkes-master/kernel/src/arch/arm/64/machine/
H A Dcapdl.c179 for (word_t i = 0; i < BIT(PT_INDEX_OFFSET + PT_INDEX_BITS); i += (1 << PT_INDEX_OFFSET)) {
450 for (word_t i = 0; i < BIT(PT_INDEX_OFFSET + PT_INDEX_BITS); i += (1 << PT_INDEX_OFFSET)) {

Completed in 127 milliseconds

12