Searched refs:VMX_CR0_RD_SHADOW (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h184 #define VMX_CR0_RD_SHADOW 0x6004 // CR0 read shadow macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c682 err += vmwrite(VMX_CR0_RD_SHADOW, cr0_shadow);
/barrelfish-master/usr/vmkitmon/
H A Dguest.c928 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_CR0_RD_SHADOW, cr0_shadow);
/barrelfish-master/usr/arrakismon/
H A Dguest.c1396 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_CR0_RD_SHADOW, cr0_shadow);

Completed in 121 milliseconds