[PATCH v2 5/7] xen/console: rename console_rx to console_focus

[dmkhn@xxxxxxxxx]

From: Denis Mukhin <dmukhin@xxxxxxxx>

Update the symbol name in preparation for the semantic change
to the physical console input owner domain identifier.

No functional change.

Signed-off-by: Denis Mukhin <dmukhin@xxxxxxxx>
---
Changes since v1:
- keep the original console_focus description
---
 xen/drivers/char/console.c | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/xen/drivers/char/console.c b/xen/drivers/char/console.c
index 48da4e5838..42974c0af7 100644
--- a/xen/drivers/char/console.c
+++ b/xen/drivers/char/console.c
@@ -470,7 +470,7 @@ static void cf_check dump_console_ring_key(unsigned char 
key)
  * console_rx=1 => input to dom0 (or the sole shim domain)
  * console_rx=N => input to dom(N-1)
  */
-static unsigned int __read_mostly console_rx = 0;
+static unsigned int __read_mostly console_focus = 0;
 
 #define max_console_rx (domid_top() + 1)
 
@@ -491,9 +491,9 @@ static struct domain *console_get_domain_by_id(domid_t 
domid)
 
 struct domain *console_get_domain(void)
 {
-    if ( console_rx == 0 )
+    if ( console_focus == 0 )
             return NULL;
-    return console_get_domain_by_id(console_rx - 1);
+    return console_get_domain_by_id(console_focus - 1);
 }
 
 void console_put_domain(struct domain *d)
@@ -513,7 +513,7 @@ static bool console_is_input_allowed(domid_t domid)
 
 static void console_switch_input(void)
 {
-    unsigned int next_rx = console_rx;
+    unsigned int next_rx = console_focus;
 
     /*
      * Rotate among Xen, dom0 and boot-time created domUs while skipping
@@ -525,7 +525,7 @@ static void console_switch_input(void)
 
         if ( next_rx++ >= max_console_rx )
         {
-            console_rx = 0;
+            console_focus = 0;
             printk("*** Serial input to Xen");
             break;
         }
@@ -537,7 +537,7 @@ static void console_switch_input(void)
 
         if ( console_is_input_allowed(domid) )
         {
-            console_rx = next_rx;
+            console_focus = next_rx;
             printk("*** Serial input to DOM%u", domid);
             break;
         }
@@ -554,7 +554,7 @@ static void __serial_rx(char c)
     struct domain *d;
     int rc = 0;
 
-    if ( console_rx == 0 )
+    if ( console_focus == 0 )
         return handle_keypress(c, false);
 
     d = console_get_domain();
@@ -1135,7 +1135,7 @@ void __init console_endboot(void)
      * a useful 'how to switch' message.
      */
     if ( opt_conswitch[1] == 'x' )
-        console_rx = max_console_rx;
+        console_focus = max_console_rx;
 
     register_keyhandler('w', dump_console_ring_key,
                         "synchronously dump console ring buffer (dmesg)", 0);
-- 
2.34.1