Searched defs:global_argc (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/usr/boot_perfmon/
H A Dmain.c20 int global_argc; variable

Completed in 25 milliseconds