On 2016年10月13日 00:03, Jan Beulich wrote:
On 12.10.16 at 16:30, wrote:
>>
>> Since the issue happens when handle_keypress() runs in a timer handler,
>> how about to name new parameter "intimer"? __serial_rx() is called in a
>> timer handler or interrupt handler. Or do you have other suggestio
>>> On 12.10.16 at 16:30, wrote:
>
> On 10/12/2016 9:19 PM, Jan Beulich wrote:
> On 12.10.16 at 09:58, wrote:
>>> --- a/xen/drivers/char/console.c
>>> +++ b/xen/drivers/char/console.c
>>> @@ -347,7 +347,7 @@ static void switch_serial_input(void)
>>> static void __serial_rx(char c, struct c
On 10/12/2016 9:19 PM, Jan Beulich wrote:
On 12.10.16 at 09:58, wrote:
--- a/xen/drivers/char/console.c
+++ b/xen/drivers/char/console.c
@@ -347,7 +347,7 @@ static void switch_serial_input(void)
static void __serial_rx(char c, struct cpu_user_regs *regs)
{
if ( xen_rx )
-return
>>> On 12.10.16 at 09:58, wrote:
> --- a/xen/drivers/char/console.c
> +++ b/xen/drivers/char/console.c
> @@ -347,7 +347,7 @@ static void switch_serial_input(void)
> static void __serial_rx(char c, struct cpu_user_regs *regs)
> {
> if ( xen_rx )
> -return handle_keypress(c, regs);
>