Searched refs:sysreg_restore (Results 1 – 5 of 5) sorted by relevance
336 typedef struct sysreg_restore { struct340 extern sysreg_restore_t sysreg_restore; argument
643 adrp x0, EXT(sysreg_restore)@page // Load TCR value from the system register restore structure644 add x0, x0, EXT(sysreg_restore)@pageoff
295 DECLARE("SR_RESTORE_TCR_EL1", offsetof(struct sysreg_restore, tcr_el1)); in main()
112 sysreg_restore_t sysreg_restore __attribute__((section("__DATA, __const"))) = { variable
1717 sysreg_restore.tcr_el1 = new_tcr; in arm_set_kernel_tbi()1733 sysreg_restore.tcr_el1 = new_tcr; in arm_set_user_tbi()