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

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A DseL4NotificationQueue-from.template.c44 .type = CE_OVERFLOW,
H A DseL4NotificationQueue-to.template.c65 .type = CE_OVERFLOW,
75 .type = CE_OVERFLOW,
90 .type = CE_OVERFLOW,
125 .type = CE_OVERFLOW,
H A DseL4Notification-to.template.c128 .type = CE_OVERFLOW,
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Derror.h65 CE_OVERFLOW, enumerator in enum:__anon117

Completed in 38 milliseconds