initm.h

Go to the documentation of this file.

extern int initm_init(void *initm, size_t size);

extern void *initm_alloc(void *initm);

extern int initm_free(void *initm, void *ptr);

extern size_t initm_size(void *initm);

extern void *initm_vma(void);

extern void initm_set_pma(void *initm);

extern void initm_set_vma(void *initm);

extern void *initm_pma(void);

extern void *initm_find_pma(void *vma);

extern void *initm_find_vma(void *pma);

extern void initm_update_for_vma(void);

extern size_t initm_free_size(void *initm);