Searched refs:tboot_mm (Results 1 – 1 of 1) sorted by relevance
| /arch/x86/kernel/ |
| D | tboot.c | 107 static struct mm_struct tboot_mm = { variable
130 pgd = pgd_offset(&tboot_mm, vaddr); in map_tboot_page()
131 pud = pud_alloc(&tboot_mm, pgd, vaddr); in map_tboot_page()
134 pmd = pmd_alloc(&tboot_mm, pud, vaddr); in map_tboot_page()
137 pte = pte_alloc_map(&tboot_mm, NULL, pmd, vaddr); in map_tboot_page()
140 set_pte_at(&tboot_mm, vaddr, pte, pfn_pte(pfn, prot)); in map_tboot_page()
149 tboot_pg_dir = pgd_alloc(&tboot_mm); in map_tboot_pages()
|