review.coreboot.org / coreboot / 503d12191d11858ec59a0cceb585e8e675c9e907 / src / soc / rockchip / rk3288 / clock.h