onetime_map.h

Go to the documentation of this file.

extern void onetime_map_init(void *vma_start, void *vma_end);

extern void *onetime_map(void *pma);

extern void *onetime_unmap(void *vma);