Lines Matching refs:ventry
31 ventry __invalid // Synchronous EL2t
32 ventry __invalid // IRQ EL2t
33 ventry __invalid // FIQ EL2t
34 ventry __invalid // Error EL2t
36 ventry __invalid // Synchronous EL2h
37 ventry __invalid // IRQ EL2h
38 ventry __invalid // FIQ EL2h
39 ventry __invalid // Error EL2h
41 ventry __do_hyp_init // Synchronous 64-bit EL1
42 ventry __invalid // IRQ 64-bit EL1
43 ventry __invalid // FIQ 64-bit EL1
44 ventry __invalid // Error 64-bit EL1
46 ventry __invalid // Synchronous 32-bit EL1
47 ventry __invalid // IRQ 32-bit EL1
48 ventry __invalid // FIQ 32-bit EL1
49 ventry __invalid // Error 32-bit EL1