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

442 static errval_t caps_zero_objects(enum objtype type, lpaddr_t lpaddr,
452     if(lpaddr < PADDR_SPACE_LIMIT) {
453         lvaddr = local_phys_to_mem(lpaddr);
462                 (size_t)objsize * count, lpaddr);
472                 lpaddr);
494                 (size_t)objsize * count, lpaddr);
502                 ((size_t) OBJSIZE_DISPATCHER) * count, lpaddr);
510                 ((size_t) OBJSIZE_KCB) * count, lpaddr);
518                 (size_t)objsize * count, lpaddr, (int)type);
537  * \param lpaddr        Base address in the local address space.
550 static errval_t caps_create(enum objtype type, lpaddr_t lpaddr, gensize_t size,
566     genpaddr_t genpaddr = local_phys_to_gen_phys(lpaddr);
578     if(lpaddr < PADDR_SPACE_LIMIT) {
579         lvaddr = local_phys_to_mem(lpaddr);
594         err = caps_zero_objects(type, lpaddr, objsize, count);
662             temp_cap.u.l1cnode.cnode = lpaddr + dest_i * objsize;
675             temp_cap.u.l2cnode.cnode = lpaddr + dest_i * objsize;
827             lpaddr = gen_phys_to_local_phys(temp_cap.u.vnode_x86_32_pdir.base);
828             paging_x86_32_make_good_pdir(lpaddr);
961         assert(lpaddr  == 0);
981         assert(lpaddr  == 0);
1018         assert(lpaddr  == 0);