Searched refs:radix (Results 1 – 4 of 4) sorted by relevance
136 word_t radix = cap_zombie_cap_get_capZombieBits(cap); in cap_zombie_cap_get_capZombieNumber() local137 return cap_zombie_cap_get_capZombieID(cap) & MASK(radix + 1); in cap_zombie_cap_get_capZombieNumber()142 word_t radix = cap_zombie_cap_get_capZombieBits(cap); in cap_zombie_cap_get_capZombiePtr() local143 return cap_zombie_cap_get_capZombieID(cap) & ~MASK(radix + 1); in cap_zombie_cap_get_capZombiePtr()148 word_t radix = cap_zombie_cap_get_capZombieBits(cap); in cap_zombie_cap_set_capZombieNumber() local149 word_t ptr = cap_zombie_cap_get_capZombieID(cap) & ~MASK(radix + 1); in cap_zombie_cap_set_capZombieNumber()150 return cap_zombie_cap_set_capZombieID(cap, ptr | (n & MASK(radix + 1))); in cap_zombie_cap_set_capZombieNumber()
15 word_t radix, capGuard; in lookup_fp() local38 radix = cptr2 << guardBits >> (wordBits - radixBits); in lookup_fp()39 slot = CTE_PTR(cap_cnode_cap_get_capCNodePtr(cap)) + radix; in lookup_fp()
178 word_t radix = cap_cnode_cap_get_capCNodeRadix(cnode); in obj_tcb_print_cnodes() local180 for (uint32_t i = 0; i < (1 << radix); i++) { in obj_tcb_print_cnodes()299 word_t radix = cap_cnode_cap_get_capCNodeRadix(root); in obj_cnode_print_slots() local307 for (uint32_t i = 0; i < (1 << radix); i++) { in obj_cnode_print_slots()316 for (uint32_t i = 0; i < (1 << radix); i++) { in obj_cnode_print_slots()
327 must be a power of two. A \obj{CNode} is said to have a \emph{radix}, which is329 $2^k$ slots, its radix would be $k$.347 most-significant \emph{radix} bits of the capability address as an349 refers. The slot~$s$ identified by these next \emph{radix} bits might352 there are remaining bits (following the \emph{radix} bits) in the363 all levels, various guard and radix sizes and internal CNode433 8-bit radix. Cap A resides in slot 0x60 so, provided that it is not442 an 8-bit radix. The second CNode is reached via the L2 CNode Cap.
Completed in 5 milliseconds