Marin Ramesa, le Sun 10 Nov 2013 18:16:20 +0100, a écrit : > On 10.11.2013 16:53:39, Samuel Thibault wrote: > > Marin Ramesa, le Sun 10 Nov 2013 16:46:30 +0100, a écrit : > > > Check to see if pte is a null pointer and perform dereference only > > > if that is not the case. > > > > > > * i386/intel/pmap.c (pte): Check if it is a null pointer. > > > > Well, it can never be null, since earlier in the code we see the pv_h > > pointing to a map which has the physical page mapped somewhere. > > OK, thanks. I assumed pmap_pte() returns NULL since clang reports say > pte is a null pointer.
Yes, it may return NULL when there is nothing at that virtual address, but the va precisely comes from a mapped area, so we're sure there's something there. Samuel
