Did you mean (for rk3399_rockchip-uboot):cp0_status
Your search defs:cp0_tcstatus did not match any files. Suggestions: