Searched defs:tdx_level (Results 1 – 1 of 1) sorted by relevance
1594 int tdx_level = pg_level_to_tdx_sept_level(level); in tdx_mem_page_aug() local1672 int tdx_level = pg_level_to_tdx_sept_level(level); in tdx_sept_drop_private_spte() local1722 int tdx_level = pg_level_to_tdx_sept_level(level); in tdx_sept_link_private_spt() local1776 int tdx_level = pg_level_to_tdx_sept_level(level); in tdx_sept_zap_private_spte() local