/*
 * Copyright 2018 NXP
 *
 * SPDX-License-Identifier:	GPL-2.0+ 
 */

int HYPERVISOR_console_io(int cmd, int count, const char *str);