Searched refs:VMCS_CR0_MASK (Results 1 – 2 of 2) sorted by relevance
164 #define VMCS_CR0_MASK 0x00006000 macro
142 wvmcs(vcpu, VMCS_CR0_MASK, mask); in macvm_set_cr0()