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

/freebsd-current/usr.sbin/config/
H A Dconfig.y33 %type <str> Save_id
146 ARCH Save_id {
153 ARCH Save_id Save_id {
164 CPU Save_id {
172 NOCPU Save_id {
186 NOMAKEOPTION Save_id { rmopt_schedule(&mkopt, $2); } |
202 Save_id { newopt(&mkopt, ns("KERNEL"), $1, 0, 0); };
221 Save_id {
227 Save_id EQUAL
245 Save_id: label
[all...]

Completed in 68 milliseconds