Home
last modified time | relevance | path

Searched refs:tboot_mm (Results 1 – 1 of 1) sorted by relevance

/arch/x86/kernel/
Dtboot.c91 static struct mm_struct tboot_mm = { variable
96 .write_protect_seq = SEQCNT_ZERO(tboot_mm.write_protect_seq),
116 pgd = pgd_offset(&tboot_mm, vaddr); in map_tboot_page()
117 p4d = p4d_alloc(&tboot_mm, pgd, vaddr); in map_tboot_page()
120 pud = pud_alloc(&tboot_mm, p4d, vaddr); in map_tboot_page()
123 pmd = pmd_alloc(&tboot_mm, pud, vaddr); in map_tboot_page()
126 pte = pte_alloc_map(&tboot_mm, pmd, vaddr); in map_tboot_page()
129 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()