Searched refs:tdx_keyid_start (Results 1 – 1 of 1) sorted by relevance
1476 static __init int record_keyid_partitioning(u32 *tdx_keyid_start, in record_keyid_partitioning() argument1497 *tdx_keyid_start = _tdx_keyid_start; in record_keyid_partitioning()1580 u32 tdx_keyid_start, nr_tdx_keyids; in tdx_init() local1583 err = record_keyid_partitioning(&tdx_keyid_start, &nr_tdx_keyids); in tdx_init()1588 tdx_keyid_start, tdx_keyid_start + nr_tdx_keyids); in tdx_init()1626 tdx_global_keyid = tdx_keyid_start; in tdx_init()1627 tdx_guest_keyid_start = tdx_keyid_start + 1; in tdx_init()