Searched refs:HOST_CR4 (Results 1 – 3 of 3) sorted by relevance
1211 __vmwrite(HOST_CR4, mmu_cr4_features); in construct_vmcs()1909 __vmread(HOST_CR4, &host_cr4); in vmx_do_resume()1911 __vmwrite(HOST_CR4, read_cr4()); in vmx_do_resume()2044 vmr(HOST_CR0), vmr(HOST_CR3), vmr(HOST_CR4)); in vmcs_dump_vcpu()
1313 rc = hvm_set_cr4(get_vvmcs(v, HOST_CR4), true); in load_vvmcs_host_state()
517 HOST_CR4 = 0x00006c04, enumerator
Completed in 12 milliseconds