Symbol: ACRN_INVALID_VMID