HelenOS sources

max_sequence       61 uspace/lib/ieee80211/include/ieee80211_impl.h extern uint8_t *max_sequence(uint8_t *, uint8_t *, size_t);
max_sequence     1560 uspace/lib/ieee80211/src/ieee80211.c 		    max_sequence(dest_addr, src_addr, ETH_ADDR), ETH_ADDR);
max_sequence     1564 uspace/lib/ieee80211/src/ieee80211.c 		    max_sequence(anonce, snonce, 32), 32);
HelenOS homepage, sources at GitHub