apps/init/stage1/stage1.h


1
2
3
4
5
6
7
8
9
10
11
12

#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