diff options
-rwxr-xr-x | scripts/leaking_addresses.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/leaking_addresses.pl b/scripts/leaking_addresses.pl index bc5788000018..b0efa21239ac 100755 --- a/scripts/leaking_addresses.pl +++ b/scripts/leaking_addresses.pl | |||
@@ -209,7 +209,7 @@ sub is_false_positive | |||
209 | return 1; | 209 | return 1; |
210 | } | 210 | } |
211 | 211 | ||
212 | if (is_x86_64) { | 212 | if (is_x86_64()) { |
213 | # vsyscall memory region, we should probably check against a range here. | 213 | # vsyscall memory region, we should probably check against a range here. |
214 | if ($match =~ '\bf{10}600000\b' or | 214 | if ($match =~ '\bf{10}600000\b' or |
215 | $match =~ '\bf{10}601000\b') { | 215 | $match =~ '\bf{10}601000\b') { |