Searched refs:GUEST_IDTR_LIMIT (Results 1 - 2 of 2) sorted by relevance
| /fuchsia/zircon/kernel/arch/x86/hypervisor/ | ||
| H A D | vcpu_priv.h | 149 GUEST_IDTR_LIMIT = 0x4812, member in class:VmcsField32 |
| H A D | vcpu.cpp | 586 vmcs.Write(VmcsField32::GUEST_IDTR_LIMIT, 0xffff); |
Completed in 30 milliseconds