Searched refs:HOST_CR4 (Results 1 – 3 of 3) sorted by relevance
500 HOST_CR4 = 0x00006c04, enumerator
1151 __vmwrite(HOST_CR4, mmu_cr4_features); in construct_vmcs()1853 vmr(HOST_CR0), vmr(HOST_CR3), vmr(HOST_CR4)); in vmcs_dump_vcpu()
1269 rc = hvm_set_cr4(get_vvmcs(v, HOST_CR4), 1); in load_vvmcs_host_state()
Completed in 12 milliseconds