Searched refs:top_level_pgt (Results 1 – 1 of 1) sorted by relevance
80 static unsigned long top_level_pgt; variable104 ret = kernel_ident_mapping_init(&mapping_info, (pgd_t *)top_level_pgt, start, end); in add_identity_map()141 top_level_pgt = read_cr3_pa(); in initialize_identity_maps()142 if (p4d_offset((pgd_t *)top_level_pgt, 0) == (p4d_t *)_pgtable) { in initialize_identity_maps()150 top_level_pgt = (unsigned long)alloc_pgt_page(&pgt_data); in initialize_identity_maps()167 sev_verify_cbit(top_level_pgt); in initialize_identity_maps()168 write_cr3(top_level_pgt); in initialize_identity_maps()178 write_cr3(top_level_pgt); in finalize_identity_maps()216 write_cr3(top_level_pgt); in split_large_pmd()248 pgd_t *pgdp = (pgd_t *)top_level_pgt; in set_clr_page_flags()[all …]