libsel4platsupport/src/irq.c

240     int error = vka_cspace_alloc_path(irq_cookie->vka, &mint_path);
241     if (error) {
246     error = vka_cnode_mint(&mint_path, &(ntfn_entry->root_ntfn_path), seL4_AllRights, badge);
247     if (error) {
253     error = seL4_IRQHandler_SetNotification(irq_entry->handler_path.capPtr, mint_path.capPtr);
254     if (error) {
256         error = vka_cnode_delete(&mint_path);
257         ZF_LOGF_IF(error, "Failed to cleanup after a failed IRQ set ntfn operation");
263     error = seL4_IRQHandler_Ack(irq_entry->handler_path.capPtr);
264     if (error) {
266         error = seL4_IRQHandler_Clear(irq_entry->handler_path.capPtr);
267         ZF_LOGF_IF(error, "Failed to unpair a notification after a failed IRQ set ntfn operation");
268         error = vka_cnode_delete(&mint_path);
269         ZF_LOGF_IF(error, "Failed to cleanup after a failed IRQ set ntfn operation");
364         goto error;
371         goto error;
383         goto error;
393         goto error;
399         goto error;
413 error:
450         int error = seL4_IRQHandler_Clear(irq_entry->handler_path.capPtr);
451         if (error) {
502         /* Contains the error code if < 0 */
507     int error = irq_set_ntfn_common(irq_cookie, MINI_IRQ_INTERFACE_NTFN_ID, assigned_id, NULL);
508     if (error) {
511         return error;
540     int error = seL4_IRQHandler_Ack(irq_entry->handler_path.capPtr);
541     if (error) {
695             int error = vka_cnode_delete(&(irq_entry->ntfn_path));
696             ZF_LOGF_IF(error, "Failed to delete a minted notification");
774     int error = seL4_IRQHandler_Clear(irq_entry->handler_path.capPtr);
775     if (error) {
809         int error = ps_calloc(irq_cookie->malloc_ops, 1, sizeof(ack_data_t), (void **) &ack_data);
810         ZF_LOGF_IF(error, "Failed to allocate memory for a cookie for the acknowledge function");
836     /* Just in case, but probably should throw an error at the user for passing in bits that