GUEST_FS_LIMIT
EVMCS1_FIELD(GUEST_FS_LIMIT, guest_fs_limit,
vmcs_write32(GUEST_FS_LIMIT, vmcs12->guest_fs_limit);
case GUEST_FS_LIMIT:
vmcs12->guest_fs_limit = vmcs_read32(GUEST_FS_LIMIT);
FIELD(GUEST_FS_LIMIT, guest_fs_limit),
case GUEST_FS_LIMIT:
case GUEST_FS_LIMIT:
vmwrite(GUEST_FS_LIMIT, -1);