Searched refs:ack_err (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/ | ||
| H A D | vm.c | 99 seL4_Error ack_err = seL4_ARM_VCPU_AckVPPI(vcpu->vcpu.cptr, ppi_irq); local 100 if (ack_err) { |
Completed in 31 milliseconds