Searched refs:tdx_keyid_start (Results 1 – 1 of 1) sorted by relevance
1322 static __init int record_keyid_partitioning(u32 *tdx_keyid_start, in record_keyid_partitioning() argument1341 *tdx_keyid_start = _tdx_keyid_start; in record_keyid_partitioning()1414 u32 tdx_keyid_start, nr_tdx_keyids; in tdx_init() local1417 err = record_keyid_partitioning(&tdx_keyid_start, &nr_tdx_keyids); in tdx_init()1422 tdx_keyid_start, tdx_keyid_start + nr_tdx_keyids); in tdx_init()1460 tdx_global_keyid = tdx_keyid_start; in tdx_init()1461 tdx_guest_keyid_start = tdx_keyid_start + 1; in tdx_init()