tree c7ac53f09bb71eb6da19b0a71435774637765942
parent 33699c9529add1c1ec4bb5dcb0807942709de224
author Alexandre Rames <alexandre.rames@linaro.org> 1470931454 +0100
committer Alexandre Rames <alexandre.rames@linaro.org> 1470931454 +0100

ARM64: Use libvixld when compiling for debug mode.

VIXL debug mode checks are valuable to catch dangerous code that can
lead to bugs.

This patch includes a couple of fixes for issues spotted by VIXL in debug mode.

Change-Id: I388ae1ffd9256ad74d0b6ce06f79cc7927a5f28a