arch.h

Go to the documentation of this file.

struct memmap {
        unsigned long tcb_size; 
        unsigned long env_size; 
        unsigned long kernel_size; /*< Size of Kernel */
        unsigned long initm_size; 
        unsigned long heap_size; 
        unsigned long stack_size; 
        char *tcb; 
        char *env; 
        char *kernel; 
        char *initm; 
};

extern int arch_init(void);
extern void panic(const char *fmt, ...);
extern void drivers_init(void);
extern void halt(void);

extern int vm_init(struct memmap *map, uint32_t kvma);

extern int vm_init_done(struct memmap *map, unsigned long kpma);

extern int vm_frame_init(int cnt, int membase[], int memsize[]);

extern int vm_is_enabled(void);
extern void vm_enable(void);

extern void *vm_rpgd();