Searched refs:sysreg_restore (Results 1 – 5 of 5) sorted by relevance
318 typedef struct sysreg_restore { struct322 extern sysreg_restore_t sysreg_restore; argument
652 adrp x0, EXT(sysreg_restore)@page // Load TCR value from the system register restore structure653 add x0, x0, EXT(sysreg_restore)@pageoff
355 DECLARE("SR_RESTORE_TCR_EL1", offsetof(struct sysreg_restore, tcr_el1)); in main()
117 sysreg_restore_t sysreg_restore __attribute__((section("__DATA, __const"))) = { variable
1777 sysreg_restore.tcr_el1 = new_tcr; in arm_set_kernel_tbi()1793 sysreg_restore.tcr_el1 = new_tcr; in arm_set_user_tbi()