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