/* SPDX-License-Identifier: GPL-2.0 */
#define RW_MM_CFG	0
#define RW_MM_KBASE_LO	1
#define RW_MM_KBASE_HI	2
#define R_MM_CAUSE	3
#define RW_MM_TLB_SEL	4
#define RW_MM_TLB_LO	5
#define RW_MM_TLB_HI	6
