#include <sys/types.h>
#include <string.h>
#include <stdio.h>
#include <stdlib.h>
#include <stddef.h>
#include <stdint.h>
#include <unistd.h>
#include <pthread.h>
#include <assert.h>
#include <object.h>
#include <list.h>
#include <initm.h>
#include <onetime_map.h>
#include <thread.h>
#include <paging.h>
#include <segment.h>
#include <x86.h>
#include <debug.h>
Go to the source code of this file.
Initial value:= {
.vma_start = 0,
.vma_end = 0,
.bitmap_sz = 0,
}
Referenced by initm_find_vma(), initm_pma(), initm_set_pma(), initm_set_vma(), initm_vma(), keyboard_read(), onetime_map(), onetime_map_init(), and onetime_unmap().