Searched refs:PINBASED_CTLS (Results 1 - 2 of 2) sorted by relevance

/fuchsia/zircon/kernel/arch/x86/hypervisor/
H A Dvcpu_priv.h44 // PINBASED_CTLS flags.
118 PINBASED_CTLS = 0x4000, member in class:VmcsField32
H A Dvcpu.cpp308 status = vmcs.SetControl(VmcsField32::PINBASED_CTLS,

Completed in 23 milliseconds