Searched refs:GUEST_LDTR_LIMIT (Results 1 – 2 of 2) sorted by relevance
183 GUEST_LDTR_LIMIT = 0x0000480c, enumerator
510 FIELD(GUEST_LDTR_LIMIT, guest_ldtr_limit),3863 vmcs_write32(GUEST_LDTR_LIMIT, 0xffff); in vmx_vcpu_reset()6475 vmcs_write32(GUEST_LDTR_LIMIT, vmcs12->guest_ldtr_limit);6885 vmcs12->guest_ldtr_limit = vmcs_read32(GUEST_LDTR_LIMIT);