161f72a34SRoberto Vargas /* 2*4c700c15SGovindraj Raja * Copyright (c) 2013-2018, Arm Limited and Contributors. All rights reserved. 361f72a34SRoberto Vargas * 461f72a34SRoberto Vargas * SPDX-License-Identifier: BSD-3-Clause 561f72a34SRoberto Vargas */ 661f72a34SRoberto Vargas 761f72a34SRoberto Vargas #include <stdlib.h> 861f72a34SRoberto Vargas 909d40e0eSAntonio Nino Diaz #include <common/debug.h> 1009d40e0eSAntonio Nino Diaz 1161f72a34SRoberto Vargas void abort(void) 1261f72a34SRoberto Vargas { 1361f72a34SRoberto Vargas ERROR("ABORT\n"); 1461f72a34SRoberto Vargas panic(); 1561f72a34SRoberto Vargas } 16