Searched refs:top_level_pgt (Results 1 – 3 of 3) 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 kernel_add_identity_map()142 top_level_pgt = read_cr3_pa(); in initialize_identity_maps()143 if (p4d_offset((pgd_t *)top_level_pgt, 0) == (p4d_t *)_pgtable) { in initialize_identity_maps()151 top_level_pgt = (unsigned long)alloc_pgt_page(&pgt_data); in initialize_identity_maps()179 sev_prep_identity_maps(top_level_pgt); in initialize_identity_maps()182 write_cr3(top_level_pgt); in initialize_identity_maps()220 write_cr3(top_level_pgt); in split_large_pmd()252 pgd_t *pgdp = (pgd_t *)top_level_pgt; in set_clr_page_flags()318 write_cr3(top_level_pgt); in set_clr_page_flags()
133 void sev_prep_identity_maps(unsigned long top_level_pgt);153 static inline void sev_prep_identity_maps(unsigned long top_level_pgt) { } in sev_prep_identity_maps() argument
426 void sev_prep_identity_maps(unsigned long top_level_pgt) in sev_prep_identity_maps() argument444 sev_verify_cbit(top_level_pgt); in sev_prep_identity_maps()