Searched refs:tboot_mm (Results 1 – 1 of 1) sorted by relevance
| /linux-4.4.14/arch/x86/kernel/ |
| D | tboot.c | 108 static struct mm_struct tboot_mm = { variable
131 pgd = pgd_offset(&tboot_mm, vaddr); in map_tboot_page()
132 pud = pud_alloc(&tboot_mm, pgd, vaddr); in map_tboot_page()
135 pmd = pmd_alloc(&tboot_mm, pud, vaddr); in map_tboot_page()
138 pte = pte_alloc_map(&tboot_mm, NULL, pmd, vaddr); in map_tboot_page()
141 set_pte_at(&tboot_mm, vaddr, pte, pfn_pte(pfn, prot)); in map_tboot_page()
150 tboot_pg_dir = pgd_alloc(&tboot_mm); in map_tboot_pages()
|