Lines Matching defs:src
29 struct capability * src, uintptr_t flags,
41 if (src->type != ObjType_VNode_x86_32_pdir) { // Right mapping
57 create_mapping_cap(mapping_cte, src,
62 genpaddr_t src_gp = src->u.vnode_x86_32_pdir.base;
73 struct capability * src, uintptr_t flags,
94 if(src->type == ObjType_Frame || src->type == ObjType_DevFrame)
99 if (offset + pte_count * X86_32_LARGE_PAGE_SIZE > get_size(src)) {
106 paging_x86_32_cap_to_page_flags(src->rights);
119 genpaddr_t src_gp = get_address(src);
122 create_mapping_cap(mapping_cte, src,
146 if (src->type != ObjType_VNode_x86_32_ptable) { // Right mapping
158 create_mapping_cap(mapping_cte, src,
165 genpaddr_t src_gp = src->u.vnode_x86_32_pdir.base;
174 struct capability * src, uintptr_t uflags,
190 if (src->type != ObjType_Frame &&
191 src->type != ObjType_DevFrame) { // Right mapping
196 if (offset + pte_count * X86_32_BASE_PAGE_SIZE > get_size(src)) {
203 paging_x86_32_cap_to_page_flags(src->rights);
216 genpaddr_t src_gp = get_address(src);
219 create_mapping_cap(mapping_cte, src,