uhci_leftmost_leaf
leftmost = uhci_leftmost_leaf(*node, height);
leftmost = uhci_leftmost_leaf(node, height);
static uint_t uhci_leftmost_leaf(uint_t node, uint_t height);