tree 7433cbf739879ea4ee9840dfe97507358aa4a4da
parent 3e329b8e8da608174828d7f4a21eea10868c9966
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1499099443 +0200
committer Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1502183210 +0200

Add badkey-skipping to find_parent()

This is the last step towards removing the now-duplicated parent-searching
code in verify_top()