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

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A DseL4IOAPICHardwareInterrupt.template.c50 #define CAS __sync_val_compare_and_swap macro
78 callbacks[i] = NULL; /* No need for CAS. */
104 return CAS(&event_pending, 1, 0);
116 if (CAS(&callbacks[i], NULL, callback) == NULL) {

Completed in 26 milliseconds