Home
last modified time | relevance | path

Searched refs:ventry (Results 1 – 1 of 1) sorted by relevance

/seL4-master/src/arch/arm/64/
A Dtraps.S41 .macro ventry label macro
50 ventry invalid_vector_entry // IRQ EL1t/EL2t
51 ventry invalid_vector_entry // FIQ EL1t/EL2t
52 ventry invalid_vector_entry // SError EL1t/EL2t
55 ventry cur_el_irq // IRQ
56 ventry invalid_vector_entry // FIQ
57 ventry cur_el_serr // SError
60 ventry lower_el_irq // IRQ 64-bit EL0/EL1
61 ventry invalid_vector_entry // FIQ 64-bit EL0/EL1
65 ventry invalid_vector_entry // IRQ 32-bit EL0/EL1
[all …]

Completed in 2 milliseconds