EXEC
extern const char EXEC[]; /* object for main program */
const char EXEC[] = "/usr/games/backgammon";
execl(EXEC, "backgammon", "-n", args[0]?args:0, (char *) 0);
DPRINTFN(EXEC, "[pmap_pvo_remove: "
DPRINTFN(EXEC, "[pmap_pvo_remove: "
DPRINTFN(EXEC, "[pmap_page_protect: %#" _PRIxpa ": clear-exec]\n",
DPRINTFN(EXEC, "[pmap_clear_bit: %#" _PRIxpa ": clear-exec]\n",
DPRINTFN(EXEC, "[pmap_clear_bit: %#" _PRIxpa ": syncicache]\n",
{ "OK", 0, COMP|EXEC },
_DO(NOMATCH, EXEC)
_DO(ESPACE, EXEC)
if (nv[i].ce & EXEC)