Searched refs:tboot_mm (Results 1 – 1 of 1) sorted by relevance
| /arch/x86/kernel/ |
| D | tboot.c | 89 static struct mm_struct tboot_mm = { variable
113 pgd = pgd_offset(&tboot_mm, vaddr); in map_tboot_page()
114 p4d = p4d_alloc(&tboot_mm, pgd, vaddr); in map_tboot_page()
117 pud = pud_alloc(&tboot_mm, p4d, vaddr); in map_tboot_page()
120 pmd = pmd_alloc(&tboot_mm, pud, vaddr); in map_tboot_page()
123 pte = pte_alloc_map(&tboot_mm, pmd, vaddr); in map_tboot_page()
126 set_pte_at(&tboot_mm, vaddr, pte, pfn_pte(pfn, prot)); in map_tboot_page()
146 tboot_pg_dir = pgd_alloc(&tboot_mm); in map_tboot_pages()
|