/* SPDX-License-Identifier: GPL-2.0-only */

#ifndef _OPTION_H_
#define _OPTION_H_

#include <types.h>

void sanitize_cmos(void);

enum cb_err cmos_set_uint_option(const char *name, unsigned int *value);
enum cb_err cmos_get_uint_option(unsigned int *dest, const char *name);

static inline enum cb_err set_uint_option(const char *name, unsigned int value)
{
	if (CONFIG(USE_OPTION_TABLE))
		return cmos_set_uint_option(name, &value);

	return CB_CMOS_OTABLE_DISABLED;
}

static inline unsigned int get_uint_option(const char *name, const unsigned int fallback)
{
	if (CONFIG(USE_OPTION_TABLE)) {
		unsigned int value = 0;
		if (cmos_get_uint_option(&value, name) == CB_SUCCESS)
			return value;
	}
	return fallback;
}

#endif /* _OPTION_H_ */