Re: [Qemu-devel] [PATCH 01/40] memory: assert that PhysPageEntry's ptr does not overflow

2013-05-09 Thread Paolo Bonzini
g, a...@ozlabs.ru, "jan kiszka" >>> , qemul...@gmail.com, >>> stefa...@redhat.com, da...@gibson.dropbear.id.au >>> Inviato: Martedì, 7 maggio 2013 17:44:59 >>> Oggetto: Re: [Qemu-devel] [PATCH 01/40] memory: assert that PhysPageEntry's >>> p

Re: [Qemu-devel] [PATCH 01/40] memory: assert that PhysPageEntry's ptr does not overflow

2013-05-08 Thread liu ping fan
stefa...@redhat.com, da...@gibson.dropbear.id.au >> Inviato: Martedì, 7 maggio 2013 17:44:59 >> Oggetto: Re: [Qemu-devel] [PATCH 01/40] memory: assert that PhysPageEntry's >> ptr does not overflow >> >> On 7 May 2013 15:16, Paolo Bonzini wrote: >> >

Re: [Qemu-devel] [PATCH 01/40] memory: assert that PhysPageEntry's ptr does not overflow

2013-05-07 Thread Peter Maydell
On 7 May 2013 17:08, Paolo Bonzini wrote: >> Da: "Peter Maydell" >> Why is the limit we're asserting not the same as the maximum >> size that we pass to g_renew() below? > > That's a minimum size, isn't it? Doh, so it is. > I'm asserting that the physical section number doesn't overflow into >

Re: [Qemu-devel] [PATCH 01/40] memory: assert that PhysPageEntry's ptr does not overflow

2013-05-07 Thread Paolo Bonzini
7:44:59 > Oggetto: Re: [Qemu-devel] [PATCH 01/40] memory: assert that PhysPageEntry's > ptr does not overflow > > On 7 May 2013 15:16, Paolo Bonzini wrote: > > Signed-off-by: Paolo Bonzini > > --- > > exec.c |2 ++ > > 1 files changed, 2 insertions(

Re: [Qemu-devel] [PATCH 01/40] memory: assert that PhysPageEntry's ptr does not overflow

2013-05-07 Thread Peter Maydell
On 7 May 2013 15:16, Paolo Bonzini wrote: > Signed-off-by: Paolo Bonzini > --- > exec.c |2 ++ > 1 files changed, 2 insertions(+), 0 deletions(-) > > diff --git a/exec.c b/exec.c > index 19725db..2e5b89a 100644 > --- a/exec.c > +++ b/exec.c > @@ -719,6 +719,8 @@ static void destroy_all_mappi

[Qemu-devel] [PATCH 01/40] memory: assert that PhysPageEntry's ptr does not overflow

2013-05-07 Thread Paolo Bonzini
Signed-off-by: Paolo Bonzini --- exec.c |2 ++ 1 files changed, 2 insertions(+), 0 deletions(-) diff --git a/exec.c b/exec.c index 19725db..2e5b89a 100644 --- a/exec.c +++ b/exec.c @@ -719,6 +719,8 @@ static void destroy_all_mappings(AddressSpaceDispatch *d) static uint16_t phys_section_a