/*
   * Copyright 2018 NXP
   *
   * SPDX-License-Identifier:	GPL-2.0+ 
   */
  
  int HYPERVISOR_console_io(int cmd, int count, const char *str);