Searched refs:VMX_MSR_AREA_SIZE (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/usr/arrakismon/
H A Dvmx.h27 #define VMX_MSR_AREA_SIZE (VMX_MSR_COUNT * 16) macro
H A Dguest.c1247 err = frame_alloc(&g->msr_area_cap, VMX_MSR_AREA_SIZE, NULL);
1252 err = vspace_map_one_frame_attr((void**)&g->msr_area_va, VMX_MSR_AREA_SIZE,
/barrelfish-master/usr/vmkitmon/
H A Dvmx.h27 #define VMX_MSR_AREA_SIZE (VMX_MSR_COUNT * 16) macro
H A Dguest.c772 err = frame_alloc(&g->msr_area_cap, VMX_MSR_AREA_SIZE, NULL);
777 err = vspace_map_one_frame_attr((void**)&g->msr_area_va, VMX_MSR_AREA_SIZE,
/barrelfish-master/kernel/include/arch/x86_64/
H A Dvmx_vmkit.h32 #define VMX_MSR_AREA_SIZE (VMX_MSR_COUNT * 16) macro

Completed in 104 milliseconds