coreboot-kgpe-d16/src/ec/hp/kbc1126/ecfw_ptr.h

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

#ifndef _EC_HP_KBC1126_PTR_H
#define _EC_HP_KBC1126_PTR_H

#include <stdint.h>

struct __packed ecfw_addr {
	/* 8-byte offset of firmware blob in big endian */
	uint16_t off;
	/* bitwise inverse of "off", for error checking */
	uint16_t inv;
};

struct __packed ecfw_ptr {
	struct ecfw_addr fw1;
	struct ecfw_addr fw2;
};

#endif