Title: udp_close()


udp_close() closes a udp file descriptor in response to a DEV_CLOSE message received from the file system (FS). More specifically, udp_close() marks the udp file descriptor as available, removes the udp file descriptor from its udp file descriptor linked list within the udp port, and empties the read queue of the udp file descriptor.