Searched defs:tdx_level (Results 1 – 1 of 1) sorted by relevance
1651 int tdx_level = pg_level_to_tdx_sept_level(level); in tdx_mem_page_aug() local1702 int tdx_level = pg_level_to_tdx_sept_level(level); in tdx_sept_link_private_spt() local1791 int tdx_level = pg_level_to_tdx_sept_level(level); in tdx_sept_remove_private_spte() local