GUEST_TR_LIMIT
EVMCS1_FIELD(GUEST_TR_LIMIT, guest_tr_limit,
vmcs_write32(GUEST_TR_LIMIT, vmcs12->guest_tr_limit);
case GUEST_TR_LIMIT:
vmcs12->guest_tr_limit = vmcs_read32(GUEST_TR_LIMIT);
FIELD(GUEST_TR_LIMIT, guest_tr_limit),
vmcs_write32(GUEST_TR_LIMIT, RMODE_TSS_SIZE - 1);
vmcs_write32(GUEST_TR_LIMIT, 0xffff);
case GUEST_TR_LIMIT:
case GUEST_TR_LIMIT:
vmwrite(GUEST_TR_LIMIT, 0x67);