tree e61d010ac4ce27810d0d34ffeca694a46c2a2fd5
parent fa0b0db6fbdcbf20bf78c53500ac98cfc3a26208
author Vladimir Marko <vmarko@google.com> 1516212690 +0000
committer Vladimir Marko <vmarko@google.com> 1516213172 +0000

Clean up art_quick_check_instance_of entrypoints.

Test: Rely on TreeHugger.
Change-Id: I848b8b711ac6bfa90999701a518e2e70b42c3d57