1 /*
2  * Copyright (C) 2018-2022 Intel Corporation.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <types.h>
8 #include <pci.h>
9 #include <console.h>
10 
console_write(__unused const char * str,__unused size_t len)11 size_t console_write(__unused const char *str, __unused size_t len)
12 {
13 	return 0;
14 }
15 
console_getc(void)16 char console_getc(void)
17 {
18 	return '\0';
19 }
20 
console_putc(__unused const char * ch)21 void console_putc(__unused const char *ch) {}
22 
console_init(void)23 void console_init(void) {}
console_setup_timer(void)24 void console_setup_timer(void) {}
25 
suspend_console(void)26 void suspend_console(void) {}
resume_console(void)27 void resume_console(void) {}
28 
handle_dbg_cmd(__unused const char * cmd,__unused int32_t len)29 bool handle_dbg_cmd(__unused const char *cmd, __unused int32_t len) { return false; }
console_vmexit_callback(__unused struct acrn_vcpu * vcpu)30 void console_vmexit_callback(__unused struct acrn_vcpu *vcpu) {}
31 
is_using_init_ipi(void)32 bool is_using_init_ipi(void) { return false; }
33 
shell_init(void)34 void shell_init(void) {}
shell_kick(void)35 void shell_kick(void) {}
36