Searched refs:DISR_EL1 (Results 1 – 3 of 3) sorted by relevance
65 ctxt_sys_reg(ctxt, DISR_EL1) = read_sysreg_s(SYS_VDISR_EL2); in __sysreg_save_el2_return_state()161 write_sysreg_s(ctxt_sys_reg(ctxt, DISR_EL1), SYS_VDISR_EL2); in __sysreg_restore_el2_return_state()
171 DISR_EL1, /* Deferred Interrupt Status Register */ enumerator
1521 { SYS_DESC(SYS_DISR_EL1), NULL, reset_val, DISR_EL1, 0 },