diff options
| -rw-r--r-- | arch/tile/mm/fault.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/arch/tile/mm/fault.c b/arch/tile/mm/fault.c index f7f99f90cbe0..6152819e555b 100644 --- a/arch/tile/mm/fault.c +++ b/arch/tile/mm/fault.c @@ -870,7 +870,8 @@ void vmalloc_sync_all(void) { #ifdef __tilegx__ /* Currently all L1 kernel pmd's are static and shared. */ - BUG_ON(pgd_index(VMALLOC_END) != pgd_index(VMALLOC_START)); + BUILD_BUG_ON(pgd_index(VMALLOC_END - PAGE_SIZE) != + pgd_index(VMALLOC_START)); #else /* * Note that races in the updates of insync and start aren't |