diff options
| author | Ming Lei <[email protected]> | 2013-12-10 16:46:29 +1030 |
|---|---|---|
| committer | Rusty Russell <[email protected]> | 2013-12-10 16:49:19 +1030 |
| commit | 7122c3e9154b5d9a7422f68f02d8acf050fad2b0 (patch) | |
| tree | 4c95d343cd303556cdb6617192da835a93462a1e /lib/mpi/mpi-inline.h | |
| parent | 3459f11a8b16f40f9cde8e4281c2d5dd2ff1a732 (diff) | |
scripts/link-vmlinux.sh: only filter kernel symbols for arm
Actually CONFIG_PAGE_OFFSET isn't same with PAGE_OFFSET, so
it isn't easy to figue out PAGE_OFFSET defined in header
file from scripts.
Because CONFIG_PAGE_OFFSET may not be defined in some ARCHs(
64bit ARCH), or defined as bogus value in !MMU case, so
this patch only applys the filter on ARM when CONFIG_PAGE_OFFSET
is defined as the original problem is only on ARM.
Cc: <[email protected]>
Cc: Rusty Russell <[email protected]>
Fixes: f6537f2f0eba4eba3354e48dbe3047db6d8b6254
Singed-off-by: Ming Lei <[email protected]>
Signed-off-by: Rusty Russell <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-inline.h')
0 files changed, 0 insertions, 0 deletions