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