Lines Matching refs:write_sysreg_el1
403 write_sysreg_el1(val, SYS_SCTLR); in handle_tx2_tvm()
406 write_sysreg_el1(val, SYS_TTBR0); in handle_tx2_tvm()
409 write_sysreg_el1(val, SYS_TTBR1); in handle_tx2_tvm()
412 write_sysreg_el1(val, SYS_TCR); in handle_tx2_tvm()
415 write_sysreg_el1(val, SYS_ESR); in handle_tx2_tvm()
418 write_sysreg_el1(val, SYS_FAR); in handle_tx2_tvm()
421 write_sysreg_el1(val, SYS_AFSR0); in handle_tx2_tvm()
424 write_sysreg_el1(val, SYS_AFSR1); in handle_tx2_tvm()
427 write_sysreg_el1(val, SYS_MAIR); in handle_tx2_tvm()
430 write_sysreg_el1(val, SYS_AMAIR); in handle_tx2_tvm()
433 write_sysreg_el1(val, SYS_CONTEXTIDR); in handle_tx2_tvm()