/plat/rockchip/rk3288/include/shared/

• ../
• bl32_param.h