// SPDX-License-Identifier: Apache-2.0
// SchOS — first-party userland runtime: _start entry and exit.

#include "types.h"
#include "user.h"

extern void _xv6_exit(void);

void
exit(void)
{
    _xv6_exit();
    for (;;);
}

/* _start lives in lib/start.S — it must read incoming registers, which
 * cannot be expressed portably in C. See that file. */

void
__stack_chk_fail(void)
{
    _xv6_exit();
    for (;;);
}