/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
#ifndef _WRDD_H_
#define _WRDD_H_

#include <stdint.h>

/* WRDD Spec Revision */
#define WRDD_REVISION 0x0

/* Domain type */
#define WRDD_DOMAIN_TYPE_WIFI 0x7

/* Default regulatory domain ID */
#define WRDD_DEFAULT_REGULATORY_DOMAIN 0x4150
/* INDONESIA regulatory domain ID */
#define WRDD_REGULATORY_DOMAIN_INDONESIA 0x4944

/* Retrieve the regulatory domain information */
uint16_t wifi_regulatory_domain(void);

#endif /* _WRDD_H_ */