Searched defs:erts_default_arg0 (Results 1 – 7 of 7) sorted by relevance
53 char *erts_default_arg0 = "default"; variable
54 char *erts_default_arg0 = "default"; variable