HelenOS sources

fifo_push          76 kernel/genarch/src/mm/asid_fifo.c 		fifo_push(free_asids, ASID_START + i);
fifo_push          99 kernel/genarch/src/mm/asid_fifo.c 	fifo_push(free_asids, asid);
HelenOS homepage, sources at GitHub