Prototype of interrupt serving.

Note to self: interrupt can be served by directly calling the receive functions now that the queues are locked.