Searched refs:reservation_table (Results 1 – 1 of 1) sorted by relevance
1252 const int *reservation_table = kvx_core_info->reservation_table_table[reservation]; in kvx_check_resource_usage() local1254 resources_used[j] += reservation_table[j]; in kvx_check_resource_usage()