1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #ifndef __BL31_PLAT_PARAMS_H__ 4 #define __BL31_PLAT_PARAMS_H__ 5 6 #include <atf/plat_params.h> 7 8 void cn81xx_register_bl31_param(struct bl31_plat_param *param); 9 10 #endif/* __BL31_PLAT_PARAMS_H__ */ 11