TOP_LEVEL
if (level == TOP_LEVEL(&hat))
ht = htable_create(hat, (uintptr_t)0, TOP_LEVEL(hat), NULL);
if (rp->hkr_level == TOP_LEVEL(hat))
ht = htable_create(hat, (uintptr_t)0, TOP_LEVEL(hat), NULL);
ASSERT(level <= TOP_LEVEL(hat));
if (level == TOP_LEVEL(hat)) {
if (level < 0 || level > TOP_LEVEL(hat))
for (l = TOP_LEVEL(hat); l >= level; --l) {
if (l == TOP_LEVEL(hat))
if (l == TOP_LEVEL(hat)) {
for (l = 0; l <= TOP_LEVEL(hat); ++l) {
ASSERT(l < TOP_LEVEL(hat));
if (level < 0 || level > TOP_LEVEL(hat))