tree 91c9a53ad1ee71e3808166dcffa86d41a10c1286
parent 59182d54b86e251d99e57e4d4399105d1e46d34a
author Andrew Walbran <qwandor@google.com> 1569328144 +0100
committer Andrew Walbran <qwandor@google.com> 1569328144 +0100

Delete unused code.

This was left behind after
https://hafnium-review.googlesource.com/c/hafnium/+/6740.

Bug: 141469322
Change-Id: I683db04e4335f071f286163c39bb4aff9aa77b15