[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v4 2/4] target/ppc: Replace debug messages by asserts for unk
From: |
David Gibson |
Subject: |
Re: [PATCH v4 2/4] target/ppc: Replace debug messages by asserts for unknown IRQ pins |
Date: |
Mon, 20 Sep 2021 16:55:12 +1000 |
On Mon, Sep 20, 2021 at 08:12:01AM +0200, Cédric Le Goater wrote:
> If an unknown pin of the IRQ controller is raised, something is very
> wrong in the QEMU model. It is better to abort.
>
> Signed-off-by: Cédric Le Goater <clg@kaod.org>
Applied to ppc-for-6.2, thanks.
> ---
> hw/ppc/ppc.c | 24 ++++++------------------
> 1 file changed, 6 insertions(+), 18 deletions(-)
>
> diff --git a/hw/ppc/ppc.c b/hw/ppc/ppc.c
> index 7375bf4fa910..a327206a0a1e 100644
> --- a/hw/ppc/ppc.c
> +++ b/hw/ppc/ppc.c
> @@ -165,9 +165,7 @@ static void ppc6xx_set_irq(void *opaque, int pin, int
> level)
> ppc_set_irq(cpu, PPC_INTERRUPT_RESET, level);
> break;
> default:
> - /* Unknown pin - do nothing */
> - LOG_IRQ("%s: unknown IRQ pin %d\n", __func__, pin);
> - return;
> + g_assert_not_reached();
> }
> if (level)
> env->irq_input_state |= 1 << pin;
> @@ -252,9 +250,7 @@ static void ppc970_set_irq(void *opaque, int pin, int
> level)
> /* XXX: TODO */
> break;
> default:
> - /* Unknown pin - do nothing */
> - LOG_IRQ("%s: unknown IRQ pin %d\n", __func__, pin);
> - return;
> + g_assert_not_reached();
> }
> if (level)
> env->irq_input_state |= 1 << pin;
> @@ -287,9 +283,7 @@ static void power7_set_irq(void *opaque, int pin, int
> level)
> ppc_set_irq(cpu, PPC_INTERRUPT_EXT, level);
> break;
> default:
> - /* Unknown pin - do nothing */
> - LOG_IRQ("%s: unknown IRQ pin %d\n", __func__, pin);
> - return;
> + g_assert_not_reached();
> }
> }
>
> @@ -323,9 +317,7 @@ static void power9_set_irq(void *opaque, int pin, int
> level)
> ppc_set_irq(cpu, PPC_INTERRUPT_HVIRT, level);
> break;
> default:
> - /* Unknown pin - do nothing */
> - LOG_IRQ("%s: unknown IRQ pin %d\n", __func__, pin);
> - return;
> + g_assert_not_reached();
> }
> }
>
> @@ -459,9 +451,7 @@ static void ppc40x_set_irq(void *opaque, int pin, int
> level)
> ppc_set_irq(cpu, PPC_INTERRUPT_DEBUG, level);
> break;
> default:
> - /* Unknown pin - do nothing */
> - LOG_IRQ("%s: unknown IRQ pin %d\n", __func__, pin);
> - return;
> + g_assert_not_reached();
> }
> if (level)
> env->irq_input_state |= 1 << pin;
> @@ -523,9 +513,7 @@ static void ppce500_set_irq(void *opaque, int pin, int
> level)
> ppc_set_irq(cpu, PPC_INTERRUPT_DEBUG, level);
> break;
> default:
> - /* Unknown pin - do nothing */
> - LOG_IRQ("%s: unknown IRQ pin %d\n", __func__, pin);
> - return;
> + g_assert_not_reached();
> }
> if (level)
> env->irq_input_state |= 1 << pin;
--
David Gibson | I'll have my music baroque, and my code
david AT gibson.dropbear.id.au | minimalist, thank you. NOT _the_ _other_
| _way_ _around_!
http://www.ozlabs.org/~dgibson
signature.asc
Description: PGP signature