[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-ID: <1448543686-31869-1-git-send-email-aryabinin@virtuozzo.com>
Date: Thu, 26 Nov 2015 16:14:46 +0300
From: Andrey Ryabinin <aryabinin@...tuozzo.com>
To: Catalin Marinas <catalin.marinas@....com>,
Will Deacon <will.deacon@....com>,
<linux-arm-kernel@...ts.infradead.org>
CC: Yury <yury.norov@...il.com>,
Alexey Klimov <klimov.linux@...il.com>,
Arnd Bergmann <arnd@...db.de>, <linux-mm@...ck.org>,
Linus Walleij <linus.walleij@...aro.org>,
Ard Biesheuvel <ard.biesheuvel@...aro.org>,
<linux-kernel@...r.kernel.org>,
David Keitel <dkeitel@...eaurora.org>,
Alexander Potapenko <glider@...gle.com>,
Dmitry Vyukov <dvyukov@...gle.com>,
"Suzuki K. Poulose" <Suzuki.Poulose@....com>,
Mark Rutland <mark.rutland@....com>,
Andrey Ryabinin <aryabinin@...tuozzo.com>
Subject: [PATCH RFT] arm64: kasan: Make KASAN work with 16K pages + 48 bit VA
Currently kasan assumes that shadow memory covers one or more entire PGDs.
That's not true for 16K pages + 48bit VA space, where PGDIR_SIZE is bigger
than the whole shadow memory.
This patch tries to fix that case.
clear_page_tables() is a new replacement of clear_pgs(). Instead of always
clearing pgds it clears top level page table entries that entirely belongs
to shadow memory.
In addition to 'tmp_pg_dir' we now have 'tmp_pud' which is used to store
puds that now might be cleared by clear_page_tables.
Reported-by: Suzuki K. Poulose <Suzuki.Poulose@....com>
Signed-off-by: Andrey Ryabinin <aryabinin@...tuozzo.com>
---
*** THIS is not tested with 16k pages ***
arch/arm64/mm/kasan_init.c | 87 ++++++++++++++++++++++++++++++++++++++++------
1 file changed, 76 insertions(+), 11 deletions(-)
diff --git a/arch/arm64/mm/kasan_init.c b/arch/arm64/mm/kasan_init.c
index cf038c7..ea9f92a 100644
--- a/arch/arm64/mm/kasan_init.c
+++ b/arch/arm64/mm/kasan_init.c
@@ -22,6 +22,7 @@
#include <asm/tlbflush.h>
static pgd_t tmp_pg_dir[PTRS_PER_PGD] __initdata __aligned(PGD_SIZE);
+static pud_t tmp_pud[PAGE_SIZE/sizeof(pud_t)] __initdata __aligned(PAGE_SIZE);
static void __init kasan_early_pte_populate(pmd_t *pmd, unsigned long addr,
unsigned long end)
@@ -92,20 +93,84 @@ asmlinkage void __init kasan_early_init(void)
{
BUILD_BUG_ON(KASAN_SHADOW_OFFSET != KASAN_SHADOW_END - (1UL << 61));
BUILD_BUG_ON(!IS_ALIGNED(KASAN_SHADOW_START, PGDIR_SIZE));
- BUILD_BUG_ON(!IS_ALIGNED(KASAN_SHADOW_END, PGDIR_SIZE));
+ BUILD_BUG_ON(!IS_ALIGNED(KASAN_SHADOW_END, PUD_SIZE));
kasan_map_early_shadow();
}
-static void __init clear_pgds(unsigned long start,
- unsigned long end)
+static void __init clear_pmds(pud_t *pud, unsigned long addr, unsigned long end)
{
+ pmd_t *pmd;
+ unsigned long next;
+
+ pmd = pmd_offset(pud, addr);
+
+ do {
+ next = pmd_addr_end(addr, end);
+ if (IS_ALIGNED(addr, PMD_SIZE) && end - addr >= PMD_SIZE)
+ pmd_clear(pmd);
+
+ } while (pmd++, addr = next, addr != end);
+}
+
+static void __init clear_puds(pgd_t *pgd, unsigned long addr, unsigned long end)
+{
+ pud_t *pud;
+ unsigned long next;
+
+ pud = pud_offset(pgd, addr);
+
+ do {
+ next = pud_addr_end(addr, end);
+ if (IS_ALIGNED(addr, PUD_SIZE) && end - addr >= PUD_SIZE)
+ pud_clear(pud);
+
+ if (!pud_none(*pud))
+ clear_pmds(pud, addr, next);
+ } while (pud++, addr = next, addr != end);
+}
+
+static void __init clear_page_tables(unsigned long addr, unsigned long end)
+{
+ pgd_t *pgd;
+ unsigned long next;
+
+ pgd = pgd_offset_k(addr);
+
+ do {
+ next = pgd_addr_end(addr, end);
+ if (IS_ALIGNED(addr, PGDIR_SIZE) && end - addr >= PGDIR_SIZE)
+ pgd_clear(pgd);
+
+ if (!pgd_none(*pgd))
+ clear_puds(pgd, addr, next);
+ } while (pgd++, addr = next, addr != end);
+}
+
+static void copy_pagetables(void)
+{
+ pgd_t *pgd = tmp_pg_dir + pgd_index(KASAN_SHADOW_START);
+
+ memcpy(tmp_pg_dir, swapper_pg_dir, sizeof(tmp_pg_dir));
+
/*
- * Remove references to kasan page tables from
- * swapper_pg_dir. pgd_clear() can't be used
- * here because it's nop on 2,3-level pagetable setups
+ * If kasan shadow shares PGD with other mappings,
+ * clear_page_tables() will clear puds instead of pgd,
+ * so we need temporary pud table to keep early shadow mapped.
*/
- for (; start < end; start += PGDIR_SIZE)
- set_pgd(pgd_offset_k(start), __pgd(0));
+ if (PGDIR_SIZE > KASAN_SHADOW_END - KASAN_SHADOW_START) {
+ pud_t *pud;
+ pmd_t *pmd;
+ pte_t *pte;
+
+ memcpy(tmp_pud, pgd_page_vaddr(*pgd), sizeof(tmp_pud));
+
+ pgd_populate(&init_mm, pgd, tmp_pud);
+ pud = pud_offset(pgd, KASAN_SHADOW_START);
+ pmd = pmd_offset(pud, KASAN_SHADOW_START);
+ pud_populate(&init_mm, pud, pmd);
+ pte = pte_offset_kernel(pmd, KASAN_SHADOW_START);
+ pmd_populate_kernel(&init_mm, pmd, pte);
+ }
}
static void __init cpu_set_ttbr1(unsigned long ttbr1)
@@ -123,16 +188,16 @@ void __init kasan_init(void)
/*
* We are going to perform proper setup of shadow memory.
- * At first we should unmap early shadow (clear_pgds() call bellow).
+ * At first we should unmap early shadow (clear_page_tables()).
* However, instrumented code couldn't execute without shadow memory.
* tmp_pg_dir used to keep early shadow mapped until full shadow
* setup will be finished.
*/
- memcpy(tmp_pg_dir, swapper_pg_dir, sizeof(tmp_pg_dir));
+ copy_pagetables();
cpu_set_ttbr1(__pa(tmp_pg_dir));
flush_tlb_all();
- clear_pgds(KASAN_SHADOW_START, KASAN_SHADOW_END);
+ clear_page_tables(KASAN_SHADOW_START, KASAN_SHADOW_END);
kasan_populate_zero_shadow((void *)KASAN_SHADOW_START,
kasan_mem_to_shadow((void *)MODULES_VADDR));
--
2.4.10
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists