Searched refs:VECTOR_IRQ_CURRENT (Results 1 – 4 of 4) sorted by relevance
86 VECTOR_IRQ_CURRENT, enumerator
376 vm_install_exception_handler(vm, VECTOR_IRQ_CURRENT, guest_irq_handler); in test_vm_create()
775 vm_install_exception_handler(vm, VECTOR_IRQ_CURRENT, in test_vgic()
405 case VECTOR_IRQ_CURRENT: in route_exception()