24 lines
570 B
C
24 lines
570 B
C
/*
|
|
* Copyright (C) 2018 Intel Corporation. All rights reserved.
|
|
*
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
*/
|
|
|
|
#ifndef SHELL_H
|
|
#define SHELL_H
|
|
|
|
/* Switching key combinations for shell and uart console */
|
|
#define GUEST_CONSOLE_TO_HV_SWITCH_KEY 0 /* CTRL + SPACE */
|
|
|
|
#ifdef HV_DEBUG
|
|
int shell_init(void);
|
|
void shell_kick_session(void);
|
|
int shell_switch_console(void);
|
|
#else
|
|
static inline int shell_init(void) { return 0; }
|
|
static inline void shell_kick_session(void) {}
|
|
static inline int shell_switch_console(void) { return 0; }
|
|
#endif
|
|
|
|
#endif /* SHELL_H */
|