[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] hw/timer/arm_mptimer.c: Undo accidental rename of arm_mptime
From: |
Richard Henderson |
Subject: |
Re: [PATCH] hw/timer/arm_mptimer.c: Undo accidental rename of arm_mptimer_init() |
Date: |
Thu, 17 Oct 2019 07:17:32 -0700 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 |
On 10/17/19 6:33 AM, Peter Maydell wrote:
> In commit b01422622b we did an automated rename of the ptimer_init()
> function to ptimer_init_with_bh(). Unfortunately this caught the
> unrelated arm_mptimer_init() function. Undo that accidental
> renaming.
>
> Fixes: b01422622b7c7293196fdaf1dbb4f495af44ecf9
> Signed-off-by: Peter Maydell <address@hidden>
> ---
> hw/timer/arm_mptimer.c | 4 ++--
> 1 file changed, 2 insertions(+), 2 deletions(-)
Reviewed-by: Richard Henderson <address@hidden>
r~