diff options
| author |   Scott Wood <scottwood@freescale.com> | 2013-11-21 18:26:42 -0600 |
|---|---|---|
| committer | Scott Wood <scottwood@freescale.com> | 2013-11-22 16:57:29 -0600 |
| commit | d742aa152f27448d39ce65fb829e396d10cd63a9 (patch) | |
| tree | 51b626c0dc20c3c2992987929860a6d8c19a3003 /scripts/basic/Makefile | |
| parent | powerpc/85xx: typo in dts: "interupt" (four devices) (diff) | |
powerpc/booke: Only check for hugetlb in flush if vma != NULL
And in flush_hugetlb_page(), don't check whether vma is NULL after
we've already dereferenced it.
This was found by Dan using static analysis as described here:
https://lists.ozlabs.org/pipermail/linuxppc-dev/2013-November/113161.html
We currently get away with this because the callers that currently pass
NULL for vma seem to be 32-bit-only (e.g. highmem, and
CONFIG_DEBUG_PGALLOC in pgtable_32.c) Hugetlb is currently 64-bit only,
so we never saw a NULL vma here.
Signed-off-by: Scott Wood <scottwood@freescale.com>
Reported-by: Dan Carpenter <dan.carpenter@oracle.com>
Diffstat (limited to 'scripts/basic/Makefile')
0 files changed, 0 insertions, 0 deletions