/* Returns the version of the EBC virtual machine. */
UINT64 GetVmVersion(VOID)
/* Returns the version of the EBC virtual machine. */
UINT64 GetVmVersion(VOID)
{
  return (UINT64)(((VM_MAJOR_VERSION & 0xFFFF) << 16) | ((VM_MINOR_VERSION & 0xFFFF)));
}