Searched refs:ppi_irq (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/
H A Dvm.c91 seL4_Word ppi_irq; local
92 ppi_irq = seL4_GetMR(0);
95 err = vm_inject_irq(vcpu, ppi_irq);
97 ZF_LOGE("VPPI IRQ %d dropped on vcpu %d", ppi_irq, vcpu->vcpu_id);
99 seL4_Error ack_err = seL4_ARM_VCPU_AckVPPI(vcpu->vcpu.cptr, ppi_irq);

Completed in 22 milliseconds