khypervisor: vmm.h Source File

Go to the documentation of this file.

00001 /* Virtual Machine Memory Management Module */
00002 #ifndef __VMM_H__
00003 #define __VMM_H__
00004 #include <hvmm_types.h>
00005 #include "lpae.h"
00006 
00007 lpaed_t *vmm_vmid_ttbl(vmid_t vmid);
00008 hvmm_status_t vmm_set_vmid_ttbl( vmid_t vmid, lpaed_t *ttbl );
00009 void vmm_stage2_enable(int enable);
00010 void vmm_init(void);
00011 
00012 #endif