/* This file is part of asmc, a bootstrapping OS with minimal seed
   Copyright (C) 2019 Giovanni Mascellani <gio@debian.org>
   https://gitlab.com/giomasce/asmc

   This program is free software: you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
   the Free Software Foundation, either version 3 of the License, or
   (at your option) any later version.

   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with this program.  If not, see <https://www.gnu.org/licenses/>. */

#include "ipxe_asmc_structs.h"

int main(void);

void *get_table_start(const char *name);
void *get_table_end(const char *name);

void *asmc_malloc(size_t size);
void asmc_free(void *ptr);
void *asmc_realloc(void *ptr, size_t size);

void push_to_asmc(void *msg);
void *pop_from_asmc(void);

void coro_yield(void);