/* If CONFIG_HWCONFIG is undefined, the function returns "", and arglen is set to 0.  */
const char* hwconfig_arg_f(const char *opt, size_t *arglen, char *buf)
/* If CONFIG_HWCONFIG is undefined, the function returns "", and arglen is set to 0.  */
const char* hwconfig_arg_f(const char *opt, size_t *arglen, char *buf)
{
	return __hwconfig(opt, arglen, buf);
}