Searched refs:HOST_ES_SELECTOR (Results 1 - 2 of 2) sorted by relevance
| /fuchsia/zircon/kernel/arch/x86/hypervisor/ | ||
| H A D | vcpu_priv.h | 94 HOST_ES_SELECTOR = 0x0c00, member in class:VmcsField16 |
| H A D | vcpu.cpp | 477 vmcs.Write(VmcsField16::HOST_ES_SELECTOR, 0); |
Completed in 76 milliseconds