Re: [PATCH] coverity: physmem: use simple assertions instead of modellin

qemu-devel

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] coverity: physmem: use simple assertions instead of modellin

From:	Stefan Hajnoczi
Subject:	Re: [PATCH] coverity: physmem: use simple assertions instead of modelling
Date:	Wed, 22 Feb 2023 09:18:54 -0500

On Wed, 15 Feb 2023 at 15:22, Vladimir Sementsov-Ogievskiy
<vsementsov@yandex-team.ru> wrote:
>
> ping
>
> [add Stefan]

I'm not familiar with the Coverity models. Peter Maydell is the maintainer.

Stefan

[Prev in Thread]

Current Thread

[Next in Thread]

Re: [PATCH] coverity: physmem: use simple assertions instead of modelling, Vladimir Sementsov-Ogievskiy, 2023/02/15
- Re: [PATCH] coverity: physmem: use simple assertions instead of modelling, Stefan Hajnoczi <=
  - Re: [PATCH] coverity: physmem: use simple assertions instead of modelling, Peter Maydell, 2023/02/22

Prev by Date: Re: [PATCH v6 0/4] memory: prevent dma-reentracy issues
Next by Date: [PATCH v16 01/11] s390x/cpu topology: add s390 specifics to CPU topology
Previous by thread: Re: [PATCH] coverity: physmem: use simple assertions instead of modelling
Next by thread: Re: [PATCH] coverity: physmem: use simple assertions instead of modelling
Index(es):
- Date
- Thread