Symbol: ohci_leftmost_leaf