@@ -511,7 +511,7 @@ static bool console_check_focus_by_id(domid_t domid)
return !!d;
}
-static void switch_serial_input(void)
+static void console_switch_focus(void)
{
unsigned int next_rx = console_rx;
@@ -618,7 +618,7 @@ static void cf_check serial_rx(char c)
/* We eat CTRL-<switch_char> in groups of 3 to switch console input. */
if ( ++switch_code_count == 3 )
{
- switch_serial_input();
+ console_switch_focus();
switch_code_count = 0;
}
return;
@@ -1162,7 +1162,7 @@ void __init console_endboot(void)
"toggle host/guest log level adjustment", 0);
/* Serial input is directed to DOM0 by default. */
- switch_serial_input();
+ console_switch_focus();
}
int __init console_has(const char *device)
Update the name to emphasize the physical console input switch to a new owner domain following the naming notation in the console driver. No functional change. Signed-off-by: Denis Mukhin <dmukhin@ford.com> --- xen/drivers/char/console.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-)