/* We will eventually use the virtio console device to produce console output, but before that is set up we use LHCALL_NOTIFY on normal memory to produce console output.  */
static __init int early_put_chars(u32 vtermno, const char *buf, int count)
/* We will eventually use the virtio console device to produce console output, but before that is set up we use LHCALL_NOTIFY on normal memory to produce console output.  */
static __init int early_put_chars(u32 vtermno, const char *buf, int count)
{
	char scratch[17];
	unsigned int len = count;
	if (len > sizeof(scratch) - 1)
		len = sizeof(scratch) - 1;
	scratch[len] = '\0';
	memcpy(scratch, buf, len);
	kvm_hypercall1(LHCALL_NOTIFY, __pa(scratch));
	return len;
}