Searched refs:nr_tdx_keyids (Results 1 – 1 of 1) sorted by relevance
1380 u32 *nr_tdx_keyids) in tdx_memory_notifier() 1399 *nr_tdx_keyids = _nr_tdx_keyids; in check_tdx_erratum() 1471 u32 tdx_keyid_start, nr_tdx_keyids; in tdx_get_sysinfo() 1474 err = record_keyid_partitioning(&tdx_keyid_start, &nr_tdx_keyids); in tdx_get_sysinfo() 1479 tdx_keyid_start, tdx_keyid_start + nr_tdx_keyids); in tdx_get_sysinfo() 1487 if (nr_tdx_keyids < 2) {1519 tdx_nr_guest_keyids = nr_tdx_keyids - 1; in tdh_vp_enter() 1323 record_keyid_partitioning(u32 * tdx_keyid_start,u32 * nr_tdx_keyids) record_keyid_partitioning() argument 1414 u32 tdx_keyid_start, nr_tdx_keyids; tdx_init() local