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

/fuchsia/zircon/kernel/arch/x86/hypervisor/
H A Dvcpu_priv.h128 ENTRY_INTERRUPTION_INFORMATION = 0x4016, member in class:VmcsField32
H A Dvcpu.cpp157 DEBUG_ASSERT((Read(VmcsField32::ENTRY_INTERRUPTION_INFORMATION) & kInterruptInfoValid) == 0);
158 Write(VmcsField32::ENTRY_INTERRUPTION_INFORMATION, interrupt_info);

Completed in 27 milliseconds