Searched refs:VMX_MSR_COUNT (Results 1 - 6 of 6) sorted by relevance

/barrelfish-master/usr/arrakismon/
H A Dvmx.h24 #define VMX_MSR_COUNT 5 macro
27 #define VMX_MSR_AREA_SIZE (VMX_MSR_COUNT * 16)
H A Dguest.c86 static uint32_t msr_list[VMX_MSR_COUNT] =
96 for (int i = 0; i < VMX_MSR_COUNT; i++) {
110 for (int i = 0; i < VMX_MSR_COUNT; i++) {
116 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_EXIT_MSR_STORE_CNT, VMX_MSR_COUNT);
118 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_ENTRY_MSR_LOAD_CNT, VMX_MSR_COUNT);
/barrelfish-master/usr/vmkitmon/
H A Dvmx.h24 #define VMX_MSR_COUNT 5 macro
27 #define VMX_MSR_AREA_SIZE (VMX_MSR_COUNT * 16)
H A Dguest.c59 static uint32_t msr_list[VMX_MSR_COUNT] =
69 for (int i = 0; i < VMX_MSR_COUNT; i++) {
82 for (int i = 0; i < VMX_MSR_COUNT; i++) {
88 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_EXIT_MSR_STORE_CNT, VMX_MSR_COUNT);
90 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_ENTRY_MSR_LOAD_CNT, VMX_MSR_COUNT);
/barrelfish-master/kernel/include/arch/x86_64/
H A Dvmx_vmkit.h29 #define VMX_MSR_COUNT 5 macro
32 #define VMX_MSR_AREA_SIZE (VMX_MSR_COUNT * 16)
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c135 static uint32_t msr_list[VMX_MSR_COUNT] =
140 static struct msr_entry host_msr_area[VMX_MSR_COUNT]
434 for (int i = 0; i < VMX_MSR_COUNT; i++) {
517 err += vmwrite(VMX_EXIT_MSR_LOAD_CNT, VMX_MSR_COUNT);

Completed in 102 milliseconds