crt0.h

Go to the documentation of this file.

#define MAX_IDX 32
#define MAX_MRD 3

#define STDIN_IDX 0
#define STDOUT_IDX 1
#define STDERR_IDX 2
#define MEMBASE_IDX 3
#define MEMSIZE_IDX 4
#define MEMCNT_IDX 5

#define KVMA_IDX 6
#define HEAP_SZ_IDX 7
#define INITM_IDX 8
#define KERNEL_SZ_IDX 9
#define ENV_SZ_IDX 10
#define TCB_SZ_IDX 11
#define INITM_SZ_IDX 12
#define TCB_IDX 13
#define STACK_SZ_IDX 14
#define KPMA_IDX 15

#define MAX_MRD 3

struct env_t {
        const char *dev_stdin; 
        const char *dev_stdout; 
        const char *dev_stderr; 
        int membase[MAX_MRD]; 
        int memsize[MAX_MRD]; 
        int memcnt; 
        char *envp[MAX_IDX]; 
        unsigned long kvma; 
};

extern int main(int argc, char *argv[], char *envp[]);