barrelfish-2018-10-04/kernel/capabilities.c

585     struct capability temp_cap;
586     memset(&temp_cap, 0, sizeof(struct capability));
587     temp_cap.type = type;
589     temp_cap.rights = CAPRIGHTS_ALLRIGHTS;
608             temp_cap.u.frame.base = genpaddr + dest_i * objsize;
609             temp_cap.u.frame.bytes = objsize;
610             assert((get_size(&temp_cap) & BASE_PAGE_MASK) == 0);
612             err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
622             temp_cap.u.physaddr.base = genpaddr + dest_i * objsize;
623             temp_cap.u.physaddr.bytes = objsize;
625             err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
635             temp_cap.u.ram.base = genpaddr + dest_i * objsize;
636             temp_cap.u.ram.bytes = objsize;
638             err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
648             temp_cap.u.devframe.base = genpaddr + dest_i * objsize;
649             temp_cap.u.devframe.bytes = objsize;
651             err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
662             temp_cap.u.l1cnode.cnode = lpaddr + dest_i * objsize;
663             temp_cap.u.l1cnode.allocated_bytes = objsize;
665             temp_cap.u.l1cnode.rightsmask = CAPRIGHTS_ALLRIGHTS;
666             err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
675             temp_cap.u.l2cnode.cnode = lpaddr + dest_i * objsize;
677             temp_cap.u.l2cnode.rightsmask = CAPRIGHTS_ALLRIGHTS;
678             err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
691             temp_cap.u.vnode_arm_l1.base =
696             err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
711             temp_cap.u.vnode_arm_l2.base =
715             err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
729             temp_cap.u.vnode_aarch64_l0.base =
733             err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
748             temp_cap.u.vnode_aarch64_l1.base =
752             err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
767             temp_cap.u.vnode_aarch64_l2.base =
771             err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
786             temp_cap.u.vnode_aarch64_l3.base =
790             err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
804             temp_cap.u.vnode_x86_32_ptable.base =
808             err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
822             temp_cap.u.vnode_x86_32_pdir.base =
827             lpaddr = gen_phys_to_local_phys(temp_cap.u.vnode_x86_32_pdir.base);
832             err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
846             temp_cap.u.vnode_x86_32_pdir.base =
852                 gen_phys_to_local_phys(temp_cap.u.vnode_x86_32_pdpt.base);
857             err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
871             temp_cap.u.vnode_x86_64_ptable.base =
875             err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
889             temp_cap.u.vnode_x86_64_pdir.base =
893             err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
907             temp_cap.u.vnode_x86_64_pdpt.base =
911             err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
925             temp_cap.u.vnode_x86_64_pml4.base =
930             lpaddr_t var = gen_phys_to_local_phys(get_address(&temp_cap));
935             err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
949             temp_cap.u.dispatcher.dcb = (struct dcb *)
952             err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
972         temp_cap.u.id.coreid = my_core_id;
973         temp_cap.u.id.core_local_id = id_cap_counter++;
976         err = set_cap(&dest_caps->cap, &temp_cap);
993             temp_cap.u.domain.coreid = my_core_id;
994             temp_cap.u.domain.core_local_id = domain_cap_counter++;
996             err = set_cap(&dest_caps[i].cap, &temp_cap);
1003         temp_cap.u.io.start = 0;
1004         temp_cap.u.io.end   = 65535;
1024         err = set_cap(&dest_caps->cap, &temp_cap);
1035             temp_cap.u.kernelcontrolblock.kcb = (struct kcb *)
1038             err = set_cap(&dest_caps[i].cap, &temp_cap);