@@ -78,7 +78,7 @@ static void vpl011_write_data_xen(struct domain *d, uint8_t data)
unsigned long flags;
struct vpl011 *vpl011 = &d->arch.vpl011;
struct vpl011_xen_backend *intf = vpl011->backend.xen;
- struct domain *input = console_input_domain();
+ struct domain *input = rcu_lock_domain_console_owner();
VPL011_LOCK(d, flags);
@@ -477,7 +477,7 @@ static unsigned int __read_mostly console_rx = 0;
#ifdef CONFIG_SBSA_VUART_CONSOLE
/* Make sure to rcu_unlock_domain after use */
-struct domain *console_input_domain(void)
+struct domain *rcu_lock_domain_console_owner(void)
{
if ( console_rx == 0 )
return NULL;
@@ -31,7 +31,7 @@ void console_end_sync(void);
void console_start_log_everything(void);
void console_end_log_everything(void);
-struct domain *console_input_domain(void);
+struct domain *rcu_lock_domain_console_owner(void);
/*
* Steal output from the console. Returns +ve identifier, else -ve error.