DDT_NON_LEAF_DWORDS
size = ddt->num_top_entries * (DDT_NON_LEAF_DWORDS << 3);
l1e = (void *)((uint64_t)ddt->vaddr + DDT_NON_LEAF_DWORDS * 8 * i);