HelenOS sources
uint32le_from_seq 56 uspace/lib/ieee80211/include/ieee80211_impl.h extern uint32_t uint32le_from_seq(void *);
uint32le_from_seq 296 uspace/lib/ieee80211/src/ieee80211_impl.c uint32_t l = uint32le_from_seq(key);
uint32le_from_seq 297 uspace/lib/ieee80211/src/ieee80211_impl.c uint32_t r = uint32le_from_seq(key + 4);
uint32le_from_seq 315 uspace/lib/ieee80211/src/ieee80211_impl.c ieee80211_michael_mic_block(&l, &r, uint32le_from_seq(dest_addr));
uint32le_from_seq 319 uspace/lib/ieee80211/src/ieee80211_impl.c ieee80211_michael_mic_block(&l, &r, uint32le_from_seq(src_addr + 2));
uint32le_from_seq 328 uspace/lib/ieee80211/src/ieee80211_impl.c uint32le_from_seq(&data[k * 4]));
HelenOS homepage, sources at GitHub