#ifndef INIT_STAGE1_H
#define INIT_STAGE1_H 1

#include <stdint.h>

extern uint8_t *_syscall_payload;
extern uint8_t  _syscall_message;

void syscall_invoke_noret(uint64_t calltype);
intmax_t syscall_invoke_ret(uint64_t calltype);

#endif