#ifndef MAIN_H
#define MAIN_H
#include "shellcode_kernel_args.h"

void (*printf)(const char *format, ...);
void (*smp_rendezvous)(void (*setup_func)(void *), void (*action_func)(void *),
                       void (*teardown_func)(void *), void *arg);
void (*smp_no_rendevous_barrier)(void *);

uint32_t main(uint64_t add1, uint64_t add2);

#endif