1/*
2 * Copyright 2016, Data61
3 * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4 * ABN 41 687 119 230.
5 *
6 * This software may be distributed and modified according to the terms of
7 * the BSD 2-Clause license. Note that NO WARRANTY is provided.
8 * See "LICENSE_BSD2.txt" for details.
9 *
10 * @TAG(D61_BSD)
11 */
12
13#include <stdio.h>
14#include <sel4/sel4.h>
15#include <stdlib.h>
16#include <stdarg.h>
17#include <refos-rpc/proc_client.h>
18#include <refos-rpc/proc_client_helper.h>
19
20long
21sys_exit(va_list ap)
22{
23    int status = va_arg(ap, int);
24    proc_exit(status);
25    while (1); /* We don't return after this */
26    return 0;
27}
28
29long
30sys_exit_group(va_list ap)
31{
32    int status = va_arg(ap, int);
33    proc_exit(status);
34    while (1); /* We don't return after this */
35    return 0;
36}
37