Searched refs:HOST_CR3 (Results 1 - 2 of 2) sorted by relevance
| /fuchsia/zircon/kernel/arch/x86/hypervisor/ | ||
| H A D | vcpu_priv.h | 191 HOST_CR3 = 0x6c02, member in class:VmcsFieldXX |
| H A D | vcpu.cpp | 475 vmcs.Write(VmcsFieldXX::HOST_CR3, x86_get_cr3()); |
Completed in 31 milliseconds