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