Lines Matching refs:page
23 /* Map a page to a virtual address, allocating a page table if necessary.
27 * @param pd page directory to map the page into
28 * @param page capability to the page to map in
29 * @param vaddr unmapped virtual address to map the page into
30 * @param rights permissions to map the page with
31 * @param cacheable 1 if the page should be cached (0 if it is for DMA)
42 /** convenient wrapper this if you don't want to track allocated page tables */
53 /* Duplicate a page cap and map it into a vspace
57 * @param page cptr to duplicate and map
58 * @param size_bits size of the page to map
62 void *sel4utils_dup_and_map(vka_t *vka, vspace_t *vspace, seL4_CPtr page, size_t size_bits);
64 /* Unmap a duplicated page cap and free any resources. Is the opposite
70 * @param size_bits size of the page to unmap