Did you mean (for rk3399_ARM-atf):write_ttbr0_el1 write_ttbr0_el2 write_ttbr1_el1 write_ttbr1_el2
Your search defs:write_ttbr0_el did not match any files. Suggestions: