/* Return the maximum key which can be store into a radix tree with height HEIGHT.  */
static unsigned long radix_tree_maxindex(unsigned int height)
/* Return the maximum key which can be store into a radix tree with height HEIGHT.  */
static unsigned long radix_tree_maxindex(unsigned int height)
{
	return height_to_maxindex[height];
}