Searched refs:HOST_CR3 (Results 1 – 4 of 4) sorted by relevance
516 HOST_CR3 = 0x00006c02, enumerator
2044 vmr(HOST_CR0), vmr(HOST_CR3), vmr(HOST_CR4)); in vmcs_dump_vcpu()
1321 rc = hvm_set_cr3(get_vvmcs(v, HOST_CR3), false, true); in load_vvmcs_host_state()
1370 __vmwrite(HOST_CR3, v->arch.cr3); in vmx_update_host_cr3()
Completed in 19 milliseconds