char * get_network_gateway(void) { char * gw = get_kcmdline_string(NETWORK_GATEWAY_KEY); if (gw != NULL) return(gw); return(get_conf_string(NETWORK_ENTRY, NETWORK_GATEWAY_KEY)); }
char * get_mode_setting(void) { char * mode = get_kcmdline_string(MODE_SETTING_KEY); if (mode != NULL) return(mode); return(get_conf_string(MODE_SETTING_ENTRY, MODE_SETTING_KEY)); }
const char * get_network_ip(void) { const char * ip = get_kcmdline_string(NETWORK_IP_KEY); if (ip != NULL) return(ip); return(get_conf_string(NETWORK_ENTRY, NETWORK_IP_KEY)); }