Symbol: prefix_push
usr.bin/config/defs.h
650
void prefix_push(const char *);
usr.bin/config/gram.y
374
PREFIX filename { prefix_push($2); }