tree 89296a7dea3bda61ceb6e573a77cd49c674dbc50
parent 56b37dbbc66834cf7ba8939e0c06ab15e501fed3
author David 'Digit' Turner <digit@google.com> 1399632109 +0200
committer David 'Digit' Turner <digit@google.com> 1405690304 +0200

exec.c: Fix logging in cpu_abort().

Change-Id: Ibb255a76b6074951f2d17e772211a00ba6724440