Packets waiting in ipintrq proceed to...


When CPU is done with all (hard) interrupts, it handles soft interrupts

We end up in ipintr(), which dequeues the oldest packet in ipintrq and gives it to ipv4_input()