/*
 * (c) 2012 Nils Asmussen <nils@os.inf.tu-dresden.de>
 *     economic rights: Technische Universität Dresden (Germany)
 *
 * This file is part of TUD:OS and distributed under the terms of the
 * GNU General Public License 2.
 * Please see the COPYING-GPL-2 file for details.
 */

#pragma once

#include <arch/Types.h>
#include <Compiler.h>

EXTERN_C NORETURN void abort();
EXTERN_C NORETURN void exit(int x);
EXTERN_C NORETURN void thread_exit();
EXTERN_C void *malloc(size_t size);
EXTERN_C void *realloc(void *ptr, size_t new_size);
EXTERN_C void free(void* p);
