PT_BOOTARGS
pt_to_str(PT_BOOTARGS));
pt_to_str(PT_BOOTARGS), bootargs);
type == PT_BOOTARGS || type == PT_BRAND || type == PT_SCHED ||
case PT_BOOTARGS:
} else if (prop_type == PT_BOOTARGS) {
(void) fprintf(fp, "%s: %s\n", pt_to_str(PT_BOOTARGS),
| BOOTARGS { $$ = PT_BOOTARGS; }