2013-12-17 18:19:04 +00:00
|
|
|
/*
|
2018-02-12 12:36:17 +00:00
|
|
|
* Copyright (c) 2013-2018, ARM Limited and Contributors. All rights reserved.
|
2013-12-17 18:19:04 +00:00
|
|
|
*
|
2017-05-03 09:38:09 +01:00
|
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
2013-12-17 18:19:04 +00:00
|
|
|
*/
|
|
|
|
|
2018-02-12 12:36:17 +00:00
|
|
|
#include <stdlib.h>
|
2013-12-17 18:19:04 +00:00
|
|
|
|
2018-12-14 00:18:21 +00:00
|
|
|
#include <common/debug.h>
|
|
|
|
|
2018-08-16 14:53:05 +01:00
|
|
|
void abort(void)
|
2013-12-17 18:19:04 +00:00
|
|
|
{
|
2014-07-29 17:14:00 +01:00
|
|
|
ERROR("ABORT\n");
|
|
|
|
panic();
|
2013-12-17 18:19:04 +00:00
|
|
|
}
|