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

/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/
H A Dirq.c145 int bitfield_index = index % (sizeof(seL4_Word) * CHAR_BIT); local
147 bitfield_array[array_index] |= BIT(bitfield_index);
152 int bitfield_index = index % (sizeof(seL4_Word) * CHAR_BIT); local
154 bitfield_array[array_index] &= ~(BIT(bitfield_index));

Completed in 27 milliseconds