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