taglinefilesource code
envval183arch/alpha/boot/main.cchar envval[256];
envval206arch/alpha/boot/main.cenvval, sizeof(envval));
envval208arch/alpha/boot/main.cenvval[nbytes] = '\0';
envval209arch/alpha/boot/main.cstrcpy((char*)ZERO_PGE, envval);