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()
|