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

#ifndef REGISTER
#error "define REGISTER(NAME) before including this file"
#endif

REGISTER(reg_prox_ctrl0);
REGISTER(reg_prox_ctrl1);
REGISTER(reg_prox_ctrl2);
REGISTER(reg_prox_ctrl3);
REGISTER(reg_prox_ctrl4);
REGISTER(reg_prox_ctrl5);
REGISTER(reg_prox_ctrl6);
REGISTER(reg_prox_ctrl7);
REGISTER(reg_prox_ctrl8);
REGISTER(reg_prox_ctrl9);
REGISTER(reg_prox_ctrl10);
REGISTER(reg_prox_ctrl11);
REGISTER(reg_prox_ctrl12);
REGISTER(reg_prox_ctrl13);
REGISTER(reg_prox_ctrl14);
REGISTER(reg_prox_ctrl15);
REGISTER(reg_prox_ctrl16);
REGISTER(reg_prox_ctrl17);
REGISTER(reg_prox_ctrl18);
REGISTER(reg_prox_ctrl19);
REGISTER(reg_sar_ctrl0);
REGISTER(reg_sar_ctrl1);
REGISTER(reg_sar_ctrl2);