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);