Searched refs:kernel_dispatch_count (Results 1 – 1 of 1) sorted by relevance
174 uint64_t kernel_dispatch_count; member1136 shadow->kernel_dispatch_count = dispatch_count; in create_single_kernel_dispatch()1179 for (unsigned i = 0; i < shadow->kernel_dispatch_count; i++) in release_kernel_dispatch()1301 (print_uint64_t) dispatch->kernel_dispatch_count); in print_kernel_dispatch()1307 for (unsigned i = 0; i < dispatch->kernel_dispatch_count; i++) in print_kernel_dispatch()1603 for (unsigned i = 0; i < shadow->kernel_dispatch_count; i++) in run_kernel()