Lines Matching defs:src
330 struct capability* src,
359 if (src->type != ObjType_VNode_AARCH64_l1) {
361 sprint_cap(buf, 128, src);
362 printf("src: %s\n", buf);
363 panic("oops: l0 wrong src type");
380 genpaddr_t src_gpaddr = get_address(src);
396 create_mapping_cap(mapping_cte, src, cte_for_cap(dest), slot, pte_count);
412 struct capability* src,
441 if (src->type != ObjType_VNode_AARCH64_l2) {
442 panic("oops: l1 wrong src type");
459 genpaddr_t src_gpaddr = get_address(src);
469 create_mapping_cap(mapping_cte, src, cte_for_cap(dest), slot, pte_count);
486 struct capability* src,
514 if (src->type != ObjType_VNode_AARCH64_l3) {
515 panic("oops: l2 wrong src type");
532 genpaddr_t src_gpaddr = get_address(src);
539 create_mapping_cap(mapping_cte, src, cte_for_cap(dest), slot, pte_count);
557 struct capability* src,
572 if (src->type != ObjType_Frame && src->type != ObjType_DevFrame) {
573 panic("oops: src->type != ObjType_Frame && src->type != ObjType_DevFrame");
578 if ((offset + BASE_PAGE_SIZE > get_size(src)) ||
598 lpaddr_t src_lpaddr = gen_phys_to_local_phys(get_address(src) + offset);
603 create_mapping_cap(mapping_cte, src, cte_for_cap(dest), slot, pte_count);