Did you mean (for external):write_hcr_el2 write_scr_el3
Your search defs:write_gcr_el1 did not match any files. Suggestions: