1 /* SPDX-License-Identifier: GPL-2.0-or-later */ 2 3 int write_rcba32(uint32_t addr, uint32_t val); 4 int read_rcba32(uint32_t addr, uint32_t *val); 5 u32 get_rcba_phys(void); 6