blob: c42ada0fa27f976876a688c1cdc97567316d7255 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
/*
* hl_exit.c -- provide _exit().
*
* Copyright (c) 2024 Synopsys Inc.
*
* The authors hereby grant permission to use, copy, modify, distribute,
* and license this software and its documentation for any purpose, provided
* that existing copyright notices are retained in all copies and that this
* notice is included verbatim in any distributions. No written agreement,
* license, or royalty fee is required for any of the authorized uses.
* Modifications to this software may be copyrighted by their authors
* and need not follow the licensing terms described here, provided that
* the new terms are clearly indicated on the first page of each file where
* they apply.
*
*/
#include <stdint.h>
#include <unistd.h>
#include "hl_toolchain.h"
#include "hl_api.h"
/* From crt0. */
extern void __noreturn __longcall _exit_halt (void);
/* Push retcode to host. Implements HL_SYSCALL_RETCODE. */
static __always_inline void
_hl_retcode (int32_t ret)
{
(void) _hl_message (HL_SYSCALL_RETCODE, "i", (uint32_t) ret);
_hl_delete ();
}
void __noreturn
_exit (int ret)
{
_hl_retcode (ret);
_exit_halt ();
}
|