Searched refs:table_times (Results 1 – 2 of 2) sorted by relevance
881 int table_times = lua_gettop(L); in read_tool_capabilities() local883 while(lua_next(L, table_times) != 0){ in read_tool_capabilities()
1444 int table_times = lua_gettop(L); in read_tool_capabilities() local1446 while(lua_next(L, table_times) != 0){ in read_tool_capabilities()