Searched refs:ENTRY_MSR_LOAD_COUNT (Results 1 - 2 of 2) sorted by relevance
/fuchsia/zircon/kernel/arch/x86/hypervisor/ | ||
H A D | vcpu_priv.h | 127 ENTRY_MSR_LOAD_COUNT = 0x4014, member in class:VmcsField32 |
H A D | vcpu.cpp | 465 vmcs.Write(VmcsField32::ENTRY_MSR_LOAD_COUNT, 6); |
Completed in 23 milliseconds