Searched defs:tdx_level (Results 1 – 1 of 1) sorted by relevance
1597 int tdx_level = pg_level_to_tdx_sept_level(level); in tdx_mem_page_aug() local1675 int tdx_level = pg_level_to_tdx_sept_level(level); in tdx_sept_drop_private_spte() local1725 int tdx_level = pg_level_to_tdx_sept_level(level); in tdx_sept_link_private_spt() local1779 int tdx_level = pg_level_to_tdx_sept_level(level); in tdx_sept_zap_private_spte() local