Searched refs:max_mem_usage (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/l4v/misc/autostop/
H A Dkillbig.c130 uint64_t max_mem_usage; local
137 max_mem_usage = (uint64_t)atoll(argv[1]);
138 if (max_mem_usage <= 16) {
148 iterate_processes(test_process, &max_mem_usage);

Completed in 15 milliseconds