Searched refs:CR4_READ_SHADOW (Results 1 - 2 of 2) sorted by relevance
| /fuchsia/zircon/kernel/arch/x86/hypervisor/ | ||
| H A D | vcpu_priv.h | 167 CR4_READ_SHADOW = 0x6006, member in class:VmcsFieldXX |
| H A D | vcpu.cpp | 525 vmcs.Write(VmcsFieldXX::CR4_READ_SHADOW, 0); |
Completed in 22 milliseconds