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