src/kernel/vmm.nsh

/* vmm's public api -- see vmm.nsc. */
void vmm_e820_add(u64 addr, u64 size, u32 type);
void vmm_e820_from_pvh(void);
void vmm_e820_from_bios(u64 buf_addr, u64 count);
u64 vmm_alloc_frame(void);
void vmm_free_frame(u64 addr);
void vmm_init(void);
u64 vmm_frames_free(void);
u64 vmm_create_addrspace(void);
i32 vmm_map_page(u64 pml4_phys, u64 vaddr, u64 paddr);
void vmm_destroy_addrspace(u64 pml4_phys);
 
global i8 vmm_e820_buf[6144];
global u64 vmm_e820_count;