Home
last modified time | relevance | path

Searched refs:pptr (Results 1 – 24 of 24) sorted by relevance

/seL4-master/include/
A Dmachine.h24 static inline paddr_t CONST addrFromPPtr(const void *pptr) in addrFromPPtr() argument
26 return (paddr_t)pptr - PPTR_BASE_OFFSET; in addrFromPPtr()
31 static inline paddr_t CONST addrFromKPPtr(const void *pptr) in addrFromKPPtr() argument
33 assert((paddr_t)pptr >= KERNEL_ELF_BASE); in addrFromKPPtr()
34 assert((paddr_t)pptr <= KERNEL_ELF_TOP); in addrFromKPPtr()
35 return (paddr_t)pptr - KERNEL_ELF_BASE_OFFSET; in addrFromKPPtr()
/seL4-master/src/arch/x86/32/kernel/
A Dvspace.c392 static BOOT_CODE cap_t create_it_page_table_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t … in create_it_page_table_cap() argument
399 pptr /* capPTBasePtr */ in create_it_page_table_cap()
407 static BOOT_CODE cap_t create_it_page_directory_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asi… in create_it_page_directory_cap() argument
414 pptr /* capPDBasePtr */ in create_it_page_directory_cap()
466 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, in create_it_frame_cap() argument
486 pptr /* capFBasePtr */ in create_it_frame_cap()
490 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) in create_unmapped_it_frame_cap() argument
492 return create_it_frame_cap(pptr, 0, asidInvalid, use_large, X86_MappingNone); in create_unmapped_it_frame_cap()
495 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid,… in create_mapped_it_frame_cap() argument
498 cap_t cap = create_it_frame_cap(pptr, vptr, asid, use_large, X86_MappingVSpace); in create_mapped_it_frame_cap()
[all …]
/seL4-master/include/arch/arm/arch/kernel/
A Dboot.h11 cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large);
12 cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_la…
A Dvspace.h19 cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large);
20 cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_la…
/seL4-master/include/arch/riscv/arch/kernel/
A Dboot.h13 cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large);
14 cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_la…
A Dvspace.h47 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr);
/seL4-master/src/arch/riscv/kernel/
A Dvspace.c113 word_t pptr = PPTR_BASE; in map_kernel_window() local
117 while (pptr < PPTR_TOP) { in map_kernel_window()
118 assert(IS_ALIGNED(pptr, RISCV_GET_LVL_PGSIZE_BITS(0))); in map_kernel_window()
123 pptr += RISCV_GET_LVL_PGSIZE(0); in map_kernel_window()
127 assert(pptr == PPTR_TOP); in map_kernel_window()
133 pptr += RISCV_GET_LVL_PGSIZE(0); in map_kernel_window()
146 kernel_root_pageTable[RISCV_GET_PT_INDEX(pptr, 0)] = in map_kernel_window()
148 while (pptr < PPTR_TOP + RISCV_GET_LVL_PGSIZE(0)) { in map_kernel_window()
151 pptr += RISCV_GET_LVL_PGSIZE(1); in map_kernel_window()
161 assert(pptr == UINTPTR_MAX - RISCV_GET_LVL_PGSIZE(0) + 1); in map_kernel_window()
[all …]
A Dboot.c28 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, boo… in create_mapped_it_frame_cap() argument
42 pptr, /* capFBasePtr */ in create_mapped_it_frame_cap()
/seL4-master/include/arch/x86/arch/kernel/
A Dboot.h26 cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large);
27 cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_la…
A Dvspace.h92 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr);
94 bool_t modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vptr, void *pptr);
A Dept.h56 void unmapEPTPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr);
/seL4-master/src/arch/x86/64/kernel/
A Dvspace.c532 void *pptr = (void *)cap_frame_cap_get_capFBasePtr(frame_cap); in map_it_frame_cap() local
547 pptr_to_paddr(pptr), /* page_base_address */ in map_it_frame_cap()
644 pptr, /* capPDPTBasePtr */ in create_it_pdpt_cap()
657 pptr, /* capPDBasePtr */ in create_it_pd_cap()
670 pptr, /* capPTBasePtr */ in create_it_pt_cap()
775 pptr, /* capFBasePtr */ in create_it_frame_cap()
784 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) in create_unmapped_it_frame_cap() argument
786 return create_it_frame_cap(pptr, 0, asidInvalid, use_large, X86_MappingNone); in create_unmapped_it_frame_cap()
792 cap_t cap = create_it_frame_cap(pptr, vptr, asid, use_large, X86_MappingVSpace); in create_mapped_it_frame_cap()
1430 bool_t modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vaddr, void *pptr) in modeUnmapPage() argument
[all …]
/seL4-master/include/kernel/
A Dboot.h17 #define SLOT_PTR(pptr, pos) (((slot_ptr_t)(pptr)) + (pos)) argument
/seL4-master/include/arch/riscv/arch/
A Dtypes.h44 pptr_t pptr; member
/seL4-master/include/arch/arm/arch/
A Dtypes.h45 pptr_t pptr; member
/seL4-master/src/arch/arm/machine/
A Dhardware.c34 map_kernel_frame(frame->paddr, frame->pptr, VMKernelOnly, in map_kernel_devices()
/seL4-master/src/arch/arm/64/kernel/
A Dvspace.c311 void *pptr = (void *)cap_frame_cap_get_capFBasePtr(frame_cap); in map_it_frame_cap() local
330 pptr_to_paddr(pptr), /* page_base_address */ in map_it_frame_cap()
359 pptr, /* capFBasePtr */ in create_it_frame_cap()
397 pptr, /* capPTBasePtr */ in create_it_pt_cap()
431 pptr, /* capPDBasePtr */ in create_it_pd_cap()
457 pptr, /* capPUDBasePtr */ in create_it_pud_cap()
526 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) in create_unmapped_it_frame_cap() argument
528 return create_it_frame_cap(pptr, 0, asidInvalid, use_large); in create_unmapped_it_frame_cap()
534 cap_t cap = create_it_frame_cap(pptr, vptr, asid, use_large); in create_mapped_it_frame_cap()
1330 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr) in unmapPage() argument
[all …]
/seL4-master/src/kernel/
A Dboot.c440 pptr_t pptr; in create_idle_thread() local
445 pptr = (pptr_t) &ksIdleThreadTCB[SMP_TERNARY(i, 0)]; in create_idle_thread()
446 NODE_STATE_ON_CORE(ksIdleThread, i) = TCB_PTR(pptr + TCB_OFFSET); in create_idle_thread()
575 pptr_t pptr, in provide_untyped_cap() argument
585 pptr_to_paddr((void *)pptr), size_bits, device_memory, {0} in provide_untyped_cap()
588 device_memory, size_bits, pptr); in provide_untyped_cap()
/seL4-master/include/arch/arm/arch/32/mode/kernel/
A Dvspace.h54 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr);
/seL4-master/src/arch/riscv/machine/
A Dhardware.c40 map_kernel_frame(frame->paddr, frame->pptr, VMKernelOnly); in map_kernel_devices()
/seL4-master/src/arch/arm/32/kernel/
A Dvspace.c420 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large) in create_it_frame_cap() argument
431 pptr /* capFBasePtr */ in create_it_frame_cap()
444 pptr /* capFBasePtr */ in create_it_frame_cap()
470 static BOOT_CODE cap_t create_it_page_table_cap(cap_t pd, pptr_t pptr, vptr_t vptr, asid_t asid) in create_it_page_table_cap() argument
477 pptr /* capPTBasePtr */ in create_it_page_table_cap()
530 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large) in create_unmapped_it_frame_cap() argument
532 return create_it_frame_cap(pptr, 0, asidInvalid, use_large); in create_unmapped_it_frame_cap()
535 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, boo… in create_mapped_it_frame_cap() argument
538 cap_t cap = create_it_frame_cap(pptr, vptr, asid, use_large); in create_mapped_it_frame_cap()
1325 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) argument
[all …]
/seL4-master/include/arch/arm/arch/64/mode/kernel/
A Dvspace.h44 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr);
/seL4-master/src/arch/x86/kernel/
A Dvspace.c707 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) in unmapPage() argument
727 == pptr_to_paddr(pptr)))) { in unmapPage()
742 == pptr_to_paddr(pptr)))) { in unmapPage()
749 if (!modeUnmapPage(page_size, find_ret.vspace_root, vptr, pptr)) { in unmapPage()
A Dept.c962 void unmapEPTPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) in unmapEPTPage() argument
965 paddr_t addr = addrFromPPtr(pptr); in unmapEPTPage()

Completed in 48 milliseconds