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);