Searched refs:l1index (Results 1 - 3 of 3) sorted by last modified time

/barrelfish-2018-10-04/kernel/
H A Ddispatch.c173 capaddr_t l1index = recv_ep->recv_cptr >> L2_CNODE_BITS; local
174 if (l1index >= cnode_get_slots(recv_cspace_cap)) {
179 l1index);
H A Dcapabilities.c1075 cslot_t l1index, l2index; local
1076 l1index = (cptr >> L2_CNODE_BITS) & MASK(CPTR_BITS-L2_CNODE_BITS);
1109 if (l1index >= cnode_get_slots(rootcn)) {
1111 debug(SUBSYS_CAPS, "%s: l1index = %"PRIuCSLOT", slots= %zu\n",
1112 __FUNCTION__, l1index, cnode_get_slots(rootcn));
1125 struct cte *l2cnode = caps_locate_slot(get_address(rootcn), l1index);
/barrelfish-2018-10-04/include/arch/arm/barrelfish/
H A Dpmap_arch.h21 size_t l1index, l2index; member in struct:pmap_dump_info
27 #define GET_PTIDX(dump_info) (dump_info)->l1index, (dump_info)->l2index

Completed in 60 milliseconds