Searched refs:page (Results 1 - 25 of 61) sorted by relevance

123

/seL4-refos-master/libs/libsel4utils/arch_include/arm/sel4utils/arch/
H A Dpage.h14 #include <vspace/arch/page.h>
/seL4-refos-master/libs/libsel4utils/arch_include/riscv/sel4utils/arch/
H A Dpage.h14 #include <vspace/arch/page.h>
/seL4-refos-master/libs/libsel4utils/arch_include/x86/sel4utils/arch/
H A Dpage.h14 #include <vspace/arch/page.h>
/seL4-refos-master/projects/seL4_libs/libsel4utils/arch_include/arm/sel4utils/arch/
H A Dpage.h14 #include <vspace/arch/page.h>
/seL4-refos-master/projects/seL4_libs/libsel4utils/arch_include/riscv/sel4utils/arch/
H A Dpage.h14 #include <vspace/arch/page.h>
/seL4-refos-master/projects/seL4_libs/libsel4utils/arch_include/x86/sel4utils/arch/
H A Dpage.h14 #include <vspace/arch/page.h>
/seL4-refos-master/libs/libplatsupport/src/
H A Dcommon.h18 #include <utils/page.h>
/seL4-refos-master/projects/util_libs/libplatsupport/src/
H A Dcommon.h18 #include <utils/page.h>
/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dpage.h15 #include <vspace/page.h>
H A Dutil.h21 #include <vspace/page.h>
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dpage.h15 #include <vspace/page.h>
H A Dutil.h21 #include <vspace/page.h>
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-riscv/
H A Dboot.c28 // page table entry (PTE) field
81 for (int page = 0; index < PTES_PER_PT; index++, page++) {
83 (page << PT_LEVEL_2_BITS));
100 for (int page = 0; index < PTES_PER_PT; index++, page++) {
102 (page << PT_LEVEL_2_BITS));
/seL4-refos-master/tools/elfloader/src/arch-riscv/
H A Dboot.c28 // page table entry (PTE) field
81 for (int page = 0; index < PTES_PER_PT; index++, page++) {
83 (page << PT_LEVEL_2_BITS));
100 for (int page = 0; index < PTES_PER_PT; index++, page++) {
102 (page << PT_LEVEL_2_BITS));
/seL4-refos-master/libs/libsel4simple-default/src/arch/riscv/
H A Ddefault.c22 #include <vspace/page.h>
/seL4-refos-master/libs/libsel4vspace/include/vspace/
H A Dpage.h19 #include <vspace/arch/page.h>
/seL4-refos-master/projects/seL4_libs/libsel4simple-default/src/arch/riscv/
H A Ddefault.c22 #include <vspace/page.h>
/seL4-refos-master/projects/seL4_libs/libsel4vspace/include/vspace/
H A Dpage.h19 #include <vspace/arch/page.h>
/seL4-refos-master/libs/libsel4utils/src/
H A Diommu_dma.c44 seL4_CPtr page = vspace_get_cap(dma->iospaces + i, (void *)addr); local
46 assert(page);
48 vka_cspace_make_path(&dma->vka, page, &page_path);
50 vka_cspace_free(&dma->vka, page);
62 /* for each page duplicate and map it into all the iospaces */
68 seL4_CPtr page = vspace_get_cap(&dma->vspace, (void *)addr); local
69 if (!page) {
77 if (page == last_page) {
82 last_page = page;
83 vka_cspace_make_path(&dma->vka, page,
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/
H A Diommu_dma.c44 seL4_CPtr page = vspace_get_cap(dma->iospaces + i, (void *)addr); local
46 assert(page);
48 vka_cspace_make_path(&dma->vka, page, &page_path);
50 vka_cspace_free(&dma->vka, page);
62 /* for each page duplicate and map it into all the iospaces */
68 seL4_CPtr page = vspace_get_cap(&dma->vspace, (void *)addr); local
69 if (!page) {
77 if (page == last_page) {
82 last_page = page;
83 vka_cspace_make_path(&dma->vka, page,
[all...]
/seL4-refos-master/kernel/manual/parts/
H A Dvspace.tex47 For some architectures, the top-level page table can be invoked for cache operations.
48 By making these cache related operations invocations on page directory capabilities in addition to
49 the page capabilities themselves, the
50 API allows users more flexible policy options. For example, a process that has delegated a page
59 in the 32-bit address space, and forms the top-level paging structure. Second level page-tables
91 ARM AArch32 processors have a two-level page-table structure.
92 The top-level page directory covers a range of 4\,GiB and each page table covers a 1\,MiB range.
103 ARM AArch64 processors have a four-level page-table structure, where the VSpace is realised as a
155 To map a page readabl
[all...]
/seL4-refos-master/projects/refos/design/
H A Dappendix.tex193 C box C [ label = "touch a page"];
195 R box R [ label = "page directory access"];
197 R box R [ label = "check if any vaddr in any window should sit in page at this PDE"];
199 R box R [ label = "alloc swap buffer(might need swapping) and write/map victim page"];
201 P box P [ label = "write page to storage or find/store page in pager address space"];
202 --- [ label = "if page fault"];
206 P=>R [ label = "rootserver\_pagerid\_cap.map(win\_id, page\_num, offset, perms)"];
207 R box R [ label = "validate message and lookup pager page table for frame"];
214 R box R [ label = "page tabl
[all...]
/seL4-refos-master/libs/libsel4vspace/src/
H A Dvspace.c15 #include <utils/page.h>
22 /* one extra page for the guard */
30 /* reserve the first page as the guard */
56 void *vspace_new_ipc_buffer(vspace_t *vspace, seL4_CPtr *page) argument
64 *page = vspace_get_cap(vspace, vaddr);
107 ZF_LOGE("Failed to access page");
/seL4-refos-master/projects/seL4_libs/libsel4vspace/src/
H A Dvspace.c15 #include <utils/page.h>
22 /* one extra page for the guard */
30 /* reserve the first page as the guard */
56 void *vspace_new_ipc_buffer(vspace_t *vspace, seL4_CPtr *page) argument
64 *page = vspace_get_cap(vspace, vaddr);
107 ZF_LOGE("Failed to access page");
/seL4-refos-master/libs/libutils/include/utils/
H A Dutil.h35 #include <utils/page.h>

Completed in 167 milliseconds

123