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