Searched defs:page (Results 1 - 11 of 11) sorted by relevance
/seL4-refos-master/kernel/manual/parts/ |
H A D | vspace.tex | [all...] |
/seL4-refos-master/libs/librefossys/src/refos-io/ |
H A D | mmap_segment.c | 112 uint32_t page = ( (PROCESS_MMAP_TOP - vaddrOffsetPage) / REFOS_PAGE_SIZE ) + i; local
|
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/refos-io/ |
H A D | mmap_segment.c | 112 uint32_t page = ( (PROCESS_MMAP_TOP - vaddrOffsetPage) / REFOS_PAGE_SIZE ) + i; local
|
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | iommu_dma.c | 44 seL4_CPtr page = vspace_get_cap(dma->iospaces + i, (void *)addr); local 68 seL4_CPtr page = vspace_get_cap(&dma->vspace, (void *)addr); local [all...] |
H A D | mapping.c | 116 void *sel4utils_dup_and_map(vka_t *vka, vspace_t *vspace, seL4_CPtr page, size_t size_bits) argument
|
/seL4-refos-master/libs/libsel4vspace/src/ |
H A D | vspace.c | 56 void *vspace_new_ipc_buffer(vspace_t *vspace, seL4_CPtr *page) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | iommu_dma.c | 44 seL4_CPtr page = vspace_get_cap(dma->iospaces + i, (void *)addr); local 68 seL4_CPtr page = vspace_get_cap(&dma->vspace, (void *)addr); local [all...] |
H A D | mapping.c | 116 void *sel4utils_dup_and_map(vka_t *vka, vspace_t *vspace, seL4_CPtr page, size_t size_bits) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4vspace/src/ |
H A D | vspace.c | 56 void *vspace_new_ipc_buffer(vspace_t *vspace, seL4_CPtr *page) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | vspace.c | 830 int page; local [all...] |
/seL4-refos-master/libs/libsel4utils/src/vspace/ |
H A D | vspace.c | 830 int page; local [all...] |
Completed in 66 milliseconds