Branch data Line data Source code
1 : : /* 2 : : * Copyright (c) 2020 Linaro Limited 3 : : * 4 : : * SPDX-License-Identifier: Apache-2.0 5 : : */ 6 : : 7 : : #include <stdlib.h> 8 : : #include <zephyr.h> 9 : : 10 : : void abort(void) 11 : : { 12 : 0 : printk("abort()\n"); 13 : 0 : k_panic(); 14 : 0 : }