Searched refs:l4util_or32_res (Results 1 – 1 of 1) sorted by relevance
255 l4util_or32_res(volatile l4_uint32_t *dest, l4_uint32_t val);552 l4util_or32_res(volatile l4_uint32_t *dest, l4_uint32_t val) in l4util_or32_res() function
Completed in 3 milliseconds