Lines Matching refs:VmcsField16
161 uint16_t AutoVmcs::Read(VmcsField16 field) const {
181 void AutoVmcs::Write(VmcsField16 field, uint16_t val) {
425 vmcs.Write(VmcsField16::VPID, vpid);
477 vmcs.Write(VmcsField16::HOST_ES_SELECTOR, 0);
478 vmcs.Write(VmcsField16::HOST_CS_SELECTOR, CODE_64_SELECTOR);
479 vmcs.Write(VmcsField16::HOST_SS_SELECTOR, DATA_SELECTOR);
480 vmcs.Write(VmcsField16::HOST_DS_SELECTOR, 0);
481 vmcs.Write(VmcsField16::HOST_FS_SELECTOR, 0);
482 vmcs.Write(VmcsField16::HOST_GS_SELECTOR, 0);
483 vmcs.Write(VmcsField16::HOST_TR_SELECTOR, TSS_SELECTOR(percpu->cpu_num));
560 vmcs.Write(VmcsField16::GUEST_CS_SELECTOR, 0);
565 vmcs.Write(VmcsField16::GUEST_CS_SELECTOR, static_cast<uint16_t>(entry >> 4));
570 vmcs.Write(VmcsField16::GUEST_TR_SELECTOR, 0);