Searched refs:DISR_EL1 (Results 1 – 3 of 3) sorted by relevance
86 ctxt->sys_regs[DISR_EL1] = read_sysreg_s(SYS_VDISR_EL2); in __sysreg_save_el2_return_state()159 write_sysreg_s(ctxt->sys_regs[DISR_EL1], SYS_VDISR_EL2); in __sysreg_restore_el2_return_state()
130 DISR_EL1, /* Deferred Interrupt Status Register */ enumerator
1340 { SYS_DESC(SYS_DISR_EL1), NULL, reset_val, DISR_EL1, 0 },
