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.
