Searched refs:l2index (Results 1 - 2 of 2) sorted by relevance

/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
/barrelfish-2018-10-04/kernel/
H A Dcapabilities.c1075 cslot_t l1index, l2index; local
1077 l2index = cptr & MASK(L2_CNODE_BITS);
1153 assert(l2index < L2_CNODE_SLOTS);
1164 struct cte *cte = caps_locate_slot(get_address(&l2cnode->cap), l2index);

Completed in 48 milliseconds