tree eaada5d02371099b84a5d0d27f210f635400f7ba
parent 1550a669adb7e9328879bed24d9edc22eb97c994
author Calin Juravle <calin@google.com> 1568673917 -0700
committer Calin Juravle <calin@google.com> 1569011509 +0000

Clean up the use of profile_key / dex_locations

The profile key / dex locations names were sometimes used interchangeably
despite not being quite the same. Make clear, through renaming, which one
is which.

Bug: 139884006
Test: m test-art-host
Change-Id: I9c79b2f2e577b873ee890333895cc90a7891499e