cfe_getenv
cfe_getenv("KERNEL_FILE",boot_file,sizeof(boot_file));
cfe_getenv("BOOT_FLAGS",boot_flags,sizeof(boot_flags));
if (cfe_getenv("BOOT_DEVICE",booted_dev_name,sizeof(booted_dev_name)) != 0) {
int cfe_getenv(char *name, char *dest, int destlen);
int cfe_getenv(char *name, char *dest, int destlen);
cfe_getenv("KERNEL_FILE",boot_file,sizeof(boot_file));
cfe_getenv("BOOT_FLAGS",boot_flags,sizeof(boot_flags));
if (cfe_getenv("BOOT_DEVICE",booted_dev_name,sizeof(booted_dev_name)) != 0) {
int cfe_getenv(char *name, char *dest, int destlen);