Home
last modified time | relevance | path

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

/Linux-v4.19/arch/x86/boot/compressed/
Dkaslr_64.c70 static unsigned long top_level_pgt; variable
113 top_level_pgt = read_cr3_pa(); in initialize_identity_maps()
114 if (p4d_offset((pgd_t *)top_level_pgt, 0) == (p4d_t *)_pgtable) { in initialize_identity_maps()
124 top_level_pgt = (unsigned long)alloc_pgt_page(&pgt_data); in initialize_identity_maps()
144 kernel_ident_mapping_init(&mapping_info, (pgd_t *)top_level_pgt, in add_identity_map()
155 write_cr3(top_level_pgt); in finalize_identity_maps()