Searched refs:tdx_keyid_start (Results 1 – 1 of 1) sorted by relevance
1313 static __init int record_keyid_partitioning(u32 *tdx_keyid_start, in record_keyid_partitioning() argument1332 *tdx_keyid_start = _tdx_keyid_start; in record_keyid_partitioning()1405 u32 tdx_keyid_start, nr_tdx_keyids; in tdx_init() local1408 err = record_keyid_partitioning(&tdx_keyid_start, &nr_tdx_keyids); in tdx_init()1413 tdx_keyid_start, tdx_keyid_start + nr_tdx_keyids); in tdx_init()1451 tdx_global_keyid = tdx_keyid_start; in tdx_init()1452 tdx_guest_keyid_start = tdx_keyid_start + 1; in tdx_init()