Searched refs:VMX_CR3_TARGET_CNT (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h49 #define VMX_CR3_TARGET_CNT 0x400A // CR3-target count macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c457 err += vmwrite(VMX_CR3_TARGET_CNT, 0);

Completed in 32 milliseconds